]> 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
mod change (-x)
[helm.git] / helm / software / matita / contribs / formal_topology /
2009-01-03 Claudio Sacerdoti... Some more re-organization. tree | commitdiff
2009-01-03 Claudio Sacerdoti... More re-working. tree | commitdiff
2009-01-03 Claudio Sacerdoti... More reorganization. tree | commitdiff
2008-12-28 Claudio Sacerdoti... equivalence_relations made uniform w.r.t. universe... tree | commitdiff
2008-12-28 Claudio Sacerdoti... Final work for today. tree | commitdiff
2008-12-28 Enrico Tassiremoved duplicate notation tree | commitdiff
2008-12-28 Claudio Sacerdoti... Some more painful work. tree | commitdiff
2008-12-28 Claudio Sacerdoti... binary_meet is back again, with some effort tree | commitdiff
2008-12-28 Claudio Sacerdoti... Many universe inconsistency avoided here and there. tree | commitdiff
2008-12-28 Claudio Sacerdoti... The universe inconsistency comes from big union, that... tree | commitdiff
2008-12-28 Claudio Sacerdoti... Proof that \Omega \sup A is an overlap algebra, up... tree | commitdiff
2008-12-28 Claudio Sacerdoti... o-algebra defined again tree | commitdiff
2008-12-28 Claudio Sacerdoti... Categories and subsets compile again, hopefully with... tree | commitdiff
2008-12-28 Claudio Sacerdoti... WARNING: partial commit to try to understand something. tree | commitdiff
2008-12-26 Claudio Sacerdoti... Some more fixes. Boring and stupid! tree | commitdiff
2008-12-26 Claudio Sacerdoti... Some fixes. tree | commitdiff
2008-12-26 Claudio Sacerdoti... O-Basic Topologies do form a category. tree | commitdiff
2008-12-26 Claudio Sacerdoti... A few more lines. tree | commitdiff
2008-12-26 Claudio Sacerdoti... Some notes by Giovanni. tree | commitdiff
2008-12-26 Claudio Sacerdoti... Some notes by Giovanni. tree | commitdiff
2008-12-22 Claudio Sacerdoti... Just copied here from formal_topologies.ma. tree | commitdiff
2008-12-22 Claudio Sacerdoti... More (ugly) work. tree | commitdiff
2008-12-22 Enrico Tassi... tree | commitdiff
2008-12-22 Enrico TassiBeginning of o-basic_topologies. tree | commitdiff
2008-12-22 Enrico TassiSome clean up. tree | commitdiff
2008-12-22 Enrico TassiConcrete Spaces defined but... they require about 20m... tree | commitdiff
2008-12-22 Enrico Tassi1 more lemma tree | commitdiff
2008-12-22 Enrico Tassione line tree | commitdiff
2008-12-22 Enrico Tassisome work tree | commitdiff
2008-12-22 Claudio Sacerdoti... ums got rid of tree | commitdiff
2008-12-21 Claudio Sacerdoti... 1) no more DAEMONS tree | commitdiff
2008-12-21 Enrico Tassimerged commits, the same proof is missing :-( tree | commitdiff
2008-12-21 Enrico Tassibleah tree | commitdiff
2008-12-21 Claudio Sacerdoti... Using the new category SET. tree | commitdiff
2008-12-19 Enrico Tassi... tree | commitdiff
2008-12-19 Enrico Tassigo notation go! tree | commitdiff
2008-12-17 Enrico Tassifoo overlap tree | commitdiff
2008-12-17 Enrico Tassifoo overlap tree | commitdiff
2008-12-17 Enrico Tassi.... tree | commitdiff
2008-12-14 Enrico Tassi... tree | commitdiff
2008-12-12 Enrico Tassithanks to the new fixes to notation, I can define ... 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.