]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/formal_topology
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
proof refactored
[helm.git] / helm / software / matita / contribs / formal_topology /
2007-06-04 Claudio Sacerdoti... Another optimization, already done for geq. tree | commitdiff
2007-06-01 Claudio Sacerdoti... Some interesting optimizations to prevent many bad... tree | commitdiff
2007-06-01 Claudio Sacerdoti... Profiling enabled again. tree | commitdiff
2007-05-31 Claudio Sacerdoti... Final (???) bug fixed. tree | commitdiff
2007-05-30 Claudio Sacerdoti... theory_explorer now communicates directly with matitawi... tree | commitdiff
2007-05-29 Claudio Sacerdoti... 1. Profiling enabled. tree | commitdiff
2007-05-26 Claudio Sacerdoti... 1. Now I save a log.ma file that is exactly what is... tree | commitdiff
2007-05-26 Claudio Sacerdoti... log.ma is now created. But it does not contain the... tree | commitdiff
2007-05-25 Claudio Sacerdoti... log.ma is now created. It records all the tests (both... tree | commitdiff
2007-05-25 Claudio Sacerdoti... Yet another assert failure fixed. tree | commitdiff
2007-05-25 Claudio Sacerdoti... More warnings. tree | commitdiff
2007-05-24 Claudio Sacerdoti... New asserts. tree | commitdiff
2007-05-24 Claudio Sacerdoti... More assert failures and some bugs (detected by assert... tree | commitdiff
2007-05-24 Claudio Sacerdoti... All known bugs fixed. tree | commitdiff
2007-05-24 Claudio Sacerdoti... It no longer generates double arcs between nodes. tree | commitdiff
2007-05-24 Claudio Sacerdoti... Still bugged. tree | commitdiff
2007-05-24 Claudio Sacerdoti... theory_explorer_do_not_trust_auto.ml is the version... tree | commitdiff
2007-05-23 Claudio Sacerdoti... I am now using tred to remove transitive dependencies... tree | commitdiff
2007-05-23 Claudio Sacerdoti... 1. generation of log file commented out (it gets too... tree | commitdiff
2007-05-23 Claudio Sacerdoti... Even more color (for new nodes). tree | commitdiff
2007-05-23 Claudio Sacerdoti... Use different colors to understand what is going on. tree | commitdiff
2007-05-23 Claudio Sacerdoti... Unlinked nodes are now printed. tree | commitdiff
2007-05-23 Claudio Sacerdoti... xxx.dot improved tree | commitdiff
2007-05-23 Claudio Sacerdoti... Automatic exploration of the theory of intuitionistic... tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.