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

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

[helm.git] / matita / components / binaries / matex / engine.ml

2017-02-27	Ferruccio Guidi	- initial support for sigma-types	blob \| commitdiff \| raw
2016-07-04	Ferruccio Guidi	- matex: notational macros for 0-ary constants	blob \| commitdiff \| raw \| diff to current
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-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-02-15	Ferruccio Guidi	now every object is output in a LaTeX environment,...	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-04	Ferruccio Guidi	- ground_2: relocation with nstream is now based on...	blob \| commitdiff \| raw \| diff to current
2016-02-02	Ferruccio Guidi	- scope management completed	blob \| commitdiff \| raw \| diff to current
2016-02-02	Ferruccio Guidi	- scope management begins...	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.

RSS Atom