matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/formal_topology/overlap/basic

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/formal_topology/overlap/basic_pairs.ma

2009-05-25	Enrico Tassi	nasty change in the lexer/parser:	blob \| commitdiff \| raw
2009-02-03	Enrico Tassi	some work to speed up the system	blob \| commitdiff \| raw \| diff to current
2009-01-19	Enrico Tassi	- new notation.ma file with local and common notation	blob \| commitdiff \| raw \| diff to current
2009-01-16	Claudio Sacerdoti...	1. new coercion(s) from CPropi to CProp	blob \| commitdiff \| raw \| diff to current
2009-01-15	Enrico Tassi	the new coercion behaviour (variants + composition...	blob \| commitdiff \| raw \| diff to current
2009-01-08	Claudio Sacerdoti...	The new coercion from SET to Type0 with higher priority...	blob \| commitdiff \| raw \| diff to current
2009-01-08	Enrico Tassi	some more if/fi conversion due to the new . binding	blob \| commitdiff \| raw \| diff to current
2009-01-06	Claudio Sacerdoti...	Some work on concrete spaces.	blob \| commitdiff \| raw \| diff to current
2009-01-06	Claudio Sacerdoti...	1) Some reorganization.	blob \| commitdiff \| raw \| diff to current
2009-01-06	Claudio Sacerdoti...	The functor from BP to OBP has been defined (but no...	blob \| commitdiff \| raw \| diff to current
2009-01-06	Claudio Sacerdoti...	Basic pairs restored; require renaming to use them...	blob \| commitdiff \| raw \| diff to current
2009-01-06	Claudio Sacerdoti...	Some progress: everything works well now.	blob \| commitdiff \| raw \| diff to current
2009-01-04	Claudio Sacerdoti...	Snapshot to try to understand something.	blob \| commitdiff \| raw \| diff to current

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