matita.cs.unibo.it Git - helm.git/history - matita/components/grafite_parser/grafiteParser.mli

]> matita.cs.unibo.it Git - helm.git/history - matita/components/grafite_parser/grafiteParser.mli

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / matita / components / grafite_parser / grafiteParser.mli

2023-01-02	Claudio Sacerdoti...	Use of standard OCaml syntax	blob \| commitdiff \| raw
2011-03-19	Claudio Sacerdoti...	Bug "fixed" (i.e avoided).	blob \| commitdiff \| raw \| diff to current
2011-01-11	Claudio Sacerdoti...	HUGE COMMIT:	blob \| commitdiff \| raw \| diff to current
2010-12-10	Claudio Sacerdoti...	Previous patch improved: we now use an ad-hoc wrapper...	blob \| commitdiff \| raw \| diff to current
2010-12-10	Claudio Sacerdoti...	BIG BUG FIXED (???): in place of using Grammar.Entry...	blob \| commitdiff \| raw \| diff to current
2010-11-05	Andrea Asperti	- cleanup	blob \| commitdiff \| raw \| diff to current
2010-11-05	Andrea Asperti	dead code removal: the parser used to be able to return...	blob \| commitdiff \| raw \| diff to current
2010-11-04	Claudio Sacerdoti...	Minor code uniformization.	blob \| commitdiff \| raw \| diff to current
2010-11-04	Claudio Sacerdoti...	dependencies between statuses simplified	blob \| commitdiff \| raw \| diff to current
2010-11-03	Enrico Tassi	notation kind of works	blob \| commitdiff \| raw \| diff to current
2010-11-03	Andrea Asperti	- LexiconAst merged into GrafiteAst	blob \| commitdiff \| raw \| diff to current
2010-11-02	Enrico Tassi	big change in parsing, trying to make all functional	blob \| commitdiff \| raw \| diff to current
2010-10-13	Andrea Asperti	Propagation of changes to grafiteAst.	blob \| commitdiff \| raw \| diff to current
2010-10-08	Andrea Asperti	cicNotation* ==> notation*	blob \| commitdiff \| raw \| diff to current
2010-09-30	Claudio Sacerdoti...	Stuff moved from old Matita.	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.