]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/formal_topology/bin
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / software / matita / contribs / formal_topology / bin /
2023-02-14 Claudio Sacerdoti... mod change (-x) tree | commitdiff
2023-02-04 Claudio Sacerdoti... mod change (-x) tree | commitdiff
2009-03-19 Claudio Sacerdoti... ... tree | commitdiff
2009-03-12 Claudio Sacerdoti... More details on the proof. tree | commitdiff
2009-03-12 Claudio Sacerdoti... New algorithm based on in-place modification of the... tree | commitdiff
2009-03-06 Claudio Sacerdoti... Minor improvements in pretty-printing. tree | commitdiff
2009-03-05 Claudio Sacerdoti... New version: only new nodes are normalized; moreover... tree | commitdiff
2009-03-02 Claudio Sacerdoti... ... tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... First version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... Old algorithm moved to old to leave place to the new... tree | commitdiff
2008-06-09 Claudio Sacerdoti... Most of the time, URIs can now be replaced with identif... tree | commitdiff
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.