projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2007-11-27 Stefano Zacchiroli- use "O" as the rottening token commit | commitdiff | tree | snapshot
2007-11-27 Stefano Zacchirolimake target for cleaning rottened files commit | commitdiff | tree | snapshot
2007-11-26 Enrico Tassireorganization of many files according to the new basic... commit | commitdiff | tree | snapshot
2007-11-26 Stefano Zacchirolifirst draft of a script to mechanically introduce ... commit | commitdiff | tree | snapshot
2007-11-26 Stefano Zacchiroliignore *.o commit | commitdiff | tree | snapshot
2007-11-26 Stefano Zacchiroliadd dump of position information in the lexed file commit | commitdiff | tree | snapshot
2007-11-26 Claudio Sacerdoti... Axiom moved from ex_deriv to deriv where it belongs to. commit | commitdiff | tree | snapshot
2007-11-26 Claudio Sacerdoti... Notation improved. commit | commitdiff | tree | snapshot
2007-11-26 Claudio Sacerdoti... Some code clean-up. commit | commitdiff | tree | snapshot
2007-11-26 Claudio Sacerdoti... Disambiguation error compaction is now performed in... commit | commitdiff | tree | snapshot
2007-11-26 Enrico Tassifor csc commit | commitdiff | tree | snapshot
2007-11-26 Enrico Tassipretty commit | commitdiff | tree | snapshot
2007-11-26 Claudio Sacerdoti... Patch to automatically generate filename.error.md5... commit | commitdiff | tree | snapshot
2007-11-26 Andrea AspertiAlmost there. commit | commitdiff | tree | snapshot
2007-11-25 Claudio Sacerdoti... This version of disambiguate.ml implements yet another... commit | commitdiff | tree | snapshot
2007-11-25 Claudio Sacerdoti... Bug fixed: an unification exception used to escape... commit | commitdiff | tree | snapshot
2007-11-23 Enrico Tassisince the previous commit fixed some bugs when the... commit | commitdiff | tree | snapshot
2007-11-23 Enrico Tassirestored the right context used to generate names.... commit | commitdiff | tree | snapshot
2007-11-23 Claudio Sacerdoti... This alternative version of disambiguate.crit2 implemen... commit | commitdiff | tree | snapshot
2007-11-23 Enrico Tassifast and sound registry lists commit | commitdiff | tree | snapshot
2007-11-23 Stefano Zacchiroli* NOT RELEASED YET commit | commitdiff | tree | snapshot
2007-11-23 Stefano Zacchiroli* bump deps on lablgtk2 to match lates upstream commit | commitdiff | tree | snapshot
2007-11-22 Enrico Tassilemma finisced commit | commitdiff | tree | snapshot
2007-11-22 Claudio Sacerdoti... Bug fixed in printing of passes in error messages. commit | commitdiff | tree | snapshot
2007-11-22 Enrico Tassilemma 3.57 half done!!!! commit | commitdiff | tree | snapshot
2007-11-22 Enrico Tassinotation in autogui commit | commitdiff | tree | snapshot
2007-11-22 Andrea AspertiBig progress commit | commitdiff | tree | snapshot
2007-11-22 Enrico Tassisnapshot commit | commitdiff | tree | snapshot
2007-11-21 Claudio Sacerdoti... Very incomplete example of simple calculus exercises... commit | commitdiff | tree | snapshot
2007-11-20 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-20 Enrico Tassiopps, a changelog was already there commit | commitdiff | tree | snapshot
2007-11-19 Claudio Sacerdoti... Bug fixed: local type declarations are not allowed... commit | commitdiff | tree | snapshot
2007-11-19 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-19 Andrea AspertiTowards chebyshev. commit | commitdiff | tree | snapshot
2007-11-18 Claudio Sacerdoti... The axiom can be proved. Just follow the hint. commit | commitdiff | tree | snapshot
2007-11-17 Enrico Tassifixed bugs found by csc commit | commitdiff | tree | snapshot
2007-11-17 Enrico Tassimoved to pkg-ocaml-maint commit | commitdiff | tree | snapshot
2007-11-16 Claudio Sacerdoti... Some notes for Enrico. commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassihidded publish-devel button, too dangerous for the... commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassihidded all hbugs related stuff commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassifrom the tarball removed all contribs, they used to... commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassinocomposites commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassicompose tactic restore and added nocomposites keyword commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassimore cleanup commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassiadded recommends graphvi commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassixxx commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassiadded homepage field in control commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassifix commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassifix -noinnertypes set to true! commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassiremoved dummy MATITA_CFLAGS assignement commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassiadded default for matita.noiinertypes commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassimenu fised commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassipropagation of noinnertypes to matitac commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassiadded -noinnertypes commit | commitdiff | tree | snapshot
2007-11-16 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassicleanup commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassicleanup commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassideclared eq_sym as a coercion and added 2 lemmas for... commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassiautobatch => [auto] commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassiremoved prerr_endline commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassiremoved ugly prerr_endline commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassiadded --version to allow help2man commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassiadded manpages commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassimatita-icon commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassiwrong dependency removed commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassichangelog to -rc-1 commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassirc-1 commit | commitdiff | tree | snapshot
2007-11-15 Enrico Tassiadded ~delta parameter to saturate_term and used it... commit | commitdiff | tree | snapshot
2007-11-14 Claudio Sacerdoti... Bug fixed: yet another case where tys of mutual recursi... commit | commitdiff | tree | snapshot
2007-11-14 Enrico Tassixxx commit | commitdiff | tree | snapshot
2007-11-14 Ferruccio Guidinow destruct takes an optional list of term rather... commit | commitdiff | tree | snapshot
2007-11-14 Enrico Tassifixed notation commit | commitdiff | tree | snapshot
2007-11-14 Enrico Tassiogroups almost finished commit | commitdiff | tree | snapshot
2007-11-14 Enrico Tassisnapshot commit | commitdiff | tree | snapshot
2007-11-14 Enrico Tassisnapshot commit | commitdiff | tree | snapshot
2007-11-13 Enrico TassiEnd of groups :-) commit | commitdiff | tree | snapshot
2007-11-13 Enrico Tassisnapshot commit | commitdiff | tree | snapshot
2007-11-13 Ferruccio Guidi- ProofEngineHelpers: namer_of moved to GrafiteEngine commit | commitdiff | tree | snapshot
2007-11-13 Ferruccio Guidipreviously hidden simplifications (in old destruct... commit | commitdiff | tree | snapshot
2007-11-12 Enrico Tassisome work till the need of redoing all groups based... commit | commitdiff | tree | snapshot
2007-11-12 Enrico Tassisince there is no more tab, the modification of the... commit | commitdiff | tree | snapshot
2007-11-12 Ferruccio Guidi- destruct tactic: automatic simplification in case... commit | commitdiff | tree | snapshot
2007-11-12 Enrico Tassiremoved ugly printing commit | commitdiff | tree | snapshot
2007-11-12 Enrico Tassiordered_sets are built with excedence commit | commitdiff | tree | snapshot
2007-11-12 Enrico Tassiadded ordered sets commit | commitdiff | tree | snapshot
2007-11-12 Enrico Tassirenamed ordered sets into excedence.ma commit | commitdiff | tree | snapshot
2007-11-12 Enrico Tassirelocated commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.