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

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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / software / matita / contribs / formal_topology / bin / theory_explorer.ml

2007-05-26	Claudio Sacerdoti...	log.ma is now created. But it does not contain the...	blob \| commitdiff \| raw
2007-05-25	Claudio Sacerdoti...	log.ma is now created. It records all the tests (both...	blob \| commitdiff \| raw \| diff to current
2007-05-25	Claudio Sacerdoti...	Yet another assert failure fixed.	blob \| commitdiff \| raw \| diff to current
2007-05-25	Claudio Sacerdoti...	More warnings.	blob \| commitdiff \| raw \| diff to current
2007-05-24	Claudio Sacerdoti...	New asserts.	blob \| commitdiff \| raw \| diff to current
2007-05-24	Claudio Sacerdoti...	More assert failures and some bugs (detected by assert...	blob \| commitdiff \| raw \| diff to current
2007-05-24	Claudio Sacerdoti...	All known bugs fixed.	blob \| commitdiff \| raw \| diff to current
2007-05-24	Claudio Sacerdoti...	It no longer generates double arcs between nodes.	blob \| commitdiff \| raw \| diff to current
2007-05-24	Claudio Sacerdoti...	Still bugged.	blob \| commitdiff \| raw \| diff to current
2007-05-24	Claudio Sacerdoti...	theory_explorer_do_not_trust_auto.ml is the version...	blob \| commitdiff \| raw \| diff to current
2007-05-23	Claudio Sacerdoti...	I am now using tred to remove transitive dependencies...	blob \| commitdiff \| raw \| diff to current
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.