matita.cs.unibo.it Git - helm.git/history - matita/components/binaries/matex/test/test.tex

]> matita.cs.unibo.it Git - helm.git/history - matita/components/binaries/matex/test/test.tex

2017-02-27	Ferruccio Guidi	- initial support for sigma-types	blob \| commitdiff \| raw
2016-07-03	Ferruccio Guidi	- matex: we separate axioms (propositions) and assumpti...	blob \| commitdiff \| raw \| diff to current
2016-06-22	Ferruccio Guidi	- matex: minor improvements	blob \| commitdiff \| raw \| diff to current
2016-05-23	Ferruccio Guidi	initial support for LaTeX-defined notatopn	blob \| commitdiff \| raw \| diff to current
2016-04-30	Ferruccio Guidi	- matex: support for alpha-conversion completed	blob \| commitdiff \| raw \| diff to current
2016-02-21	Ferruccio Guidi	MaTeX	blob \| commitdiff \| raw \| diff to current
2016-02-07	Ferruccio Guidi	- ground_2: support for relocation updated	blob \| commitdiff \| raw \| diff to current
2016-02-02	Ferruccio Guidi	- scope management completed	blob \| commitdiff \| raw \| diff to current
2016-01-11	Ferruccio Guidi	- plain anticipation for CIC proofs terms	blob \| commitdiff \| raw \| diff to current
2016-01-04	Ferruccio Guidi	- Const is now processed properly	blob \| commitdiff \| raw \| diff to current
2015-12-21	Ferruccio Guidi	- First commit of MaTeX:	blob \| commitdiff \| raw \| diff to current

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