matita.cs.unibo.it Git - helm.git/history - matita/components/binaries/matex/options.ml

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

2017-02-27	Ferruccio Guidi	- initial support for sigma-types	blob \| commitdiff \| raw
2016-06-22	Ferruccio Guidi	- matex: minor improvements	blob \| commitdiff \| raw \| diff to current
2016-06-19	Ferruccio Guidi	- matex: minor corrections to handle applications with...	blob \| commitdiff \| raw \| diff to current
2016-06-12	Ferruccio Guidi	- improved support for case	blob \| commitdiff \| raw \| diff to current
2016-06-06	Ferruccio Guidi	MaTeX:	blob \| commitdiff \| raw \| diff to current
2016-05-23	Ferruccio Guidi	initial support for LaTeX-defined notatopn	blob \| commitdiff \| raw \| diff to current
2016-05-22	Ferruccio Guidi	- support fof global alpha-conversion with hyperlinks	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-01-11	Ferruccio Guidi	- plain anticipation for CIC proofs terms	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.