| 2007-12-06 |
Enrico Tassi | excedence -> excess
|
commit | commitdiff | tree |
| 2007-12-06 |
Enrico Tassi | weight -> value
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | refactoring of some lemmas, shorter proofs
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | added do_heavy_checks documentation
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | do_heavy_checks not always true, take ths option from...
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | added do_heavy_checks default
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | if parameter type is given, this assert is false
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | sandwitch theorem done
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | removed all the axioms!!!
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | sligtly more general results, still to reorganize
|
commit | commitdiff | tree |
| 2007-12-03 |
Enrico Tassi | ok
|
commit | commitdiff | tree |
| 2007-12-03 |
Enrico Tassi | 1 lemma left!!!!
|
commit | commitdiff | tree |
| 2007-12-01 |
Enrico Tassi | carabinieri almost done
|
commit | commitdiff | tree |
| 2007-11-30 |
Enrico Tassi | carabinieri almost done
|
commit | commitdiff | tree |
| 2007-11-30 |
Enrico Tassi | cleanup of the eq_trans burdain
|
commit | commitdiff | tree |
| 2007-11-30 |
Enrico Tassi | 3.11 !!!
|
commit | commitdiff | tree |
| 2007-11-30 |
Enrico Tassi | added a way to generate all the utf8 symbols
|
commit | commitdiff | tree |
| 2007-11-28 |
Enrico Tassi | more stuff
|
commit | commitdiff | tree |
| 2007-11-28 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-27 |
Enrico Tassi | ....
|
commit | commitdiff | tree |
| 2007-11-27 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-27 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-27 |
Enrico Tassi | major reorganization (read cleanup)
|
commit | commitdiff | tree |
| 2007-11-27 |
Enrico Tassi | bir georganization, most of the structures done
|
commit | commitdiff | tree |
| 2007-11-26 |
Enrico Tassi | reorganization of many files according to the new basic...
|
commit | commitdiff | tree |
| 2007-11-26 |
Enrico Tassi | for csc
|
commit | commitdiff | tree |
| 2007-11-26 |
Enrico Tassi | pretty
|
commit | commitdiff | tree |
| 2007-11-23 |
Enrico Tassi | since the previous commit fixed some bugs when the...
|
commit | commitdiff | tree |
| 2007-11-23 |
Enrico Tassi | restored the right context used to generate names....
|
commit | commitdiff | tree |
| 2007-11-23 |
Enrico Tassi | fast and sound registry lists
|
commit | commitdiff | tree |
| 2007-11-22 |
Enrico Tassi | lemma finisced
|
commit | commitdiff | tree |
| 2007-11-22 |
Enrico Tassi | lemma 3.57 half done!!!!
|
commit | commitdiff | tree |
| 2007-11-22 |
Enrico Tassi | notation in autogui
|
commit | commitdiff | tree |
| 2007-11-22 |
Enrico Tassi | snapshot
|
commit | commitdiff | tree |
| 2007-11-20 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-20 |
Enrico Tassi | opps, a changelog was already there
|
commit | commitdiff | tree |
| 2007-11-19 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-17 |
Enrico Tassi | fixed bugs found by csc
|
commit | commitdiff | tree |
| 2007-11-17 |
Enrico Tassi | moved to pkg-ocaml-maint
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | hidded publish-devel button, too dangerous for the...
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | hidded all hbugs related stuff
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | from the tarball removed all contribs, they used to...
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | nocomposites
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | compose tactic restore and added nocomposites keyword
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | more cleanup
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | added recommends graphvi
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | xxx
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | added homepage field in control
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | fix
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | fix -noinnertypes set to true!
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | removed dummy MATITA_CFLAGS assignement
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | added default for matita.noiinertypes
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | menu fised
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | propagation of noinnertypes to matitac
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | added -noinnertypes
|
commit | commitdiff | tree |
| 2007-11-16 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | cleanup
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | cleanup
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | declared eq_sym as a coercion and added 2 lemmas for...
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | autobatch => [auto]
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | removed prerr_endline
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | removed ugly prerr_endline
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | added --version to allow help2man
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | added manpages
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | matita-icon
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | wrong dependency removed
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | changelog to -rc-1
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | rc-1
|
commit | commitdiff | tree |
| 2007-11-15 |
Enrico Tassi | added ~delta parameter to saturate_term and used it...
|
commit | commitdiff | tree |
| 2007-11-14 |
Enrico Tassi | xxx
|
commit | commitdiff | tree |
| 2007-11-14 |
Enrico Tassi | fixed notation
|
commit | commitdiff | tree |
| 2007-11-14 |
Enrico Tassi | ogroups almost finished
|
commit | commitdiff | tree |
| 2007-11-14 |
Enrico Tassi | snapshot
|
commit | commitdiff | tree |
| 2007-11-14 |
Enrico Tassi | snapshot
|
commit | commitdiff | tree |
| 2007-11-13 |
Enrico Tassi | End of groups :-)
|
commit | commitdiff | tree |
| 2007-11-13 |
Enrico Tassi | snapshot
|
commit | commitdiff | tree |
| 2007-11-12 |
Enrico Tassi | some work till the need of redoing all groups based...
|
commit | commitdiff | tree |
| 2007-11-12 |
Enrico Tassi | since there is no more tab, the modification of the...
|
commit | commitdiff | tree |
| 2007-11-12 |
Enrico Tassi | removed ugly printing
|
commit | commitdiff | tree |
| 2007-11-12 |
Enrico Tassi | ordered_sets are built with excedence
|
commit | commitdiff | tree |
| 2007-11-12 |
Enrico Tassi | added ordered sets
|
commit | commitdiff | tree |
| 2007-11-12 |
Enrico Tassi | renamed ordered sets into excedence.ma
|
commit | commitdiff | tree |
| 2007-11-12 |
Enrico Tassi | relocated
|
commit | commitdiff | tree |
| 2007-11-12 |
Enrico Tassi | removed dust
|
commit | commitdiff | tree |
| 2007-11-12 |
Enrico Tassi | HIDDEN (since glade do not read out file properly anymore...
|
commit | commitdiff | tree |
| 2007-11-12 |
Enrico Tassi | new file with some relations stated in Type
|
commit | commitdiff | tree |
| 2007-11-12 |
Enrico Tassi | ordered set is over, much new stuff coming from a coreflexiv...
|
commit | commitdiff | tree |
| next |
projects / helm.git / search