Adds the ability to rename inference rules when Tex filtering.#106

Open

heades wants to merge 49 commits intoott-lang:masterfrom

Commits on Dec 14, 2019

Adds the ability to rename inference rules when Tex filtering.
heades
committed

Commits on Nov 16, 2020

Commits on Nov 24, 2020

Commits on Feb 23, 2021

Fixed a bug in the renaming. Thanks @dorchard.
heades
committed

Commits on Aug 5, 2022

Identifiers can now contain greek characters
phanukaev
committed

Commits on Aug 15, 2022

Merge pull request #1 from phanukaev/master
heades
authored

Commits on Mar 9, 2024

fix README broken link found by Shaked

PeterSewell
authored and
heades
committed
Make JSON pp optional, add warnings/errors on missing pp homs

bacam
authored and
heades
committed
fix X documentation

PeterSewell
authored and
heades
committed
Fix make clean

tperami
authored and
heades
committed
Remove executability of tests/test-mjp.ott

tperami
authored and
heades
committed
Refer to PPrint instead of PPrintEngine and PPrintCombinators.

fpottier
authored and
heades
committed
tests/menhir_tests: refer to PPrint instead of PPrintEngine.

fpottier
authored and
heades
committed
Update the copies of PPrint bundled in tests/menhir_tests/.

fpottier
authored and
heades
committed
Enable automated testing of the OCaml code generation

kit-ty-kate
authored and
heades
committed
Add relative path to ott binary in 1Bsemantics example

k4rtik
authored and
heades
committed
Allow recent PPrint version in opam file

tperami
authored and
heades
committed
Remove embedded PPrint and add corresponding opam tests

tperami
authored and
heades
committed
make README slightly more informative

PeterSewell
authored and
heades
committed
coq-ott compatible with Coq 8.14

pi8027
authored and
heades
committed
Fix regression machinery for Coq

tperami
authored and
heades
committed
Allow recent Coq version with coq-ott in opam

tperami
authored and
heades
committed
Require minimum version of menhir

tperami
authored and
heades
committed
Add new regression baseline for March 2022

tperami
authored and
heades
committed
Fix tests/test1.ott for Isabelle

tperami
authored and
heades
committed
Update baseline for test1 fix

tperami
authored and
heades
committed
Fix addition of extra pipe characters with isasyn

jvanbruegge
authored and
heades
committed
Fix opam file

tperami
authored and
heades
committed
Bump to version 0.32

tperami
authored and
heades
committed
rebuild manual

PeterSewell
authored and
heades
committed
Bump version number in opam file to 0.32

tperami
authored and
heades
committed
Fix typo in README.md

tperami
authored and
heades
committed
Update maintainer

tperami
authored and
heades
committed
Fit licence and deps in ott.opam

tperami
authored and
heades
committed
Add lex-comment hom to specify the comment start

tperami
authored and
heades
committed
OCaml 5.0 compatibility

bacam
authored and
heades
committed
Add missing dependency on ocamlgraph, update OCaml version

bacam
authored and
heades
committed
minimal _CoqProject change to enable compatibility with Coq 8.17 and beyond

palmskog
authored and
heades
committed
Bump version to 0.33

bacam
authored and
heades
committed
Rebuild documentation

bacam
authored and
heades
committed
Support bytecode targets in opam

bacam
authored and
heades
committed
Update release instructions a little

bacam
authored and
heades
committed
Fix dead links to papers in README

omasanori
authored and
heades
committed
Fix opam build on Windows (MinGW cygwin cross)

MSoegtropIMC
authored and
heades
committed
The commands for renaming rules are better named.
heades
committed
Merge branch 'ott-lang:master' into master
heades
authored
Undoing some changes.
heades
committed