matita.cs.unibo.it Git - helm.git/history - helm/software/matita/predefined

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/predefined_virtuals.ml

2010-10-26	Enrico Tassi	add some virtuals	blob \| commitdiff \| raw
2009-09-29	Enrico Tassi	more virtuals	blob \| commitdiff \| raw \| diff to current
2009-09-16	Enrico Tassi	more notation for topologies, and some prentheses that...	blob \| commitdiff \| raw \| diff to current
2009-09-13	Enrico Tassi	some more letters	blob \| commitdiff \| raw \| diff to current
2009-09-10	Enrico Tassi	maledetto il \sub di CSC	blob \| commitdiff \| raw \| diff to current
2009-01-08	Enrico Tassi	virtuals for () removed and bound to 'o'	blob \| commitdiff \| raw \| diff to current
2009-01-05	Enrico Tassi	added := -> \def	blob \| commitdiff \| raw \| diff to current
2008-12-24	Enrico Tassi	added some virtuals	blob \| commitdiff \| raw \| diff to current
2008-12-19	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-12-19	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-12-19	Enrico Tassi	added aliases for _ and fixed greek leters thanks to...	blob \| commitdiff \| raw \| diff to current
2008-12-06	Enrico Tassi	new concept of virtuals, defined only in the gui that...	blob \| commitdiff \| raw \| diff to current

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