matita.cs.unibo.it Git - helm.git/history - matita/contribs/formal_topology/bin/theory

]> matita.cs.unibo.it Git - helm.git/history - matita/contribs/formal_topology/bin/theory_explorer.ml

2007-05-23	Claudio Sacerdoti...	I am now using tred to remove transitive dependencies...	blob \| commitdiff \| raw
2007-05-23	Claudio Sacerdoti...	1. generation of log file commented out (it gets too...	blob \| commitdiff \| raw \| diff to current
2007-05-23	Claudio Sacerdoti...	Even more color (for new nodes).	blob \| commitdiff \| raw \| diff to current
2007-05-23	Claudio Sacerdoti...	Use different colors to understand what is going on.	blob \| commitdiff \| raw \| diff to current
2007-05-23	Claudio Sacerdoti...	Unlinked nodes are now printed.	blob \| commitdiff \| raw \| diff to current
2007-05-23	Claudio Sacerdoti...	xxx.dot improved	blob \| commitdiff \| raw \| diff to current
2007-05-23	Claudio Sacerdoti...	Automatic exploration of the theory of intuitionistic...	blob \| commitdiff \| raw \| diff to current

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