]> matita.cs.unibo.it Git - helm.git/history - helm/software
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
more stuff
[helm.git] / helm / software /
2007-11-28 Enrico Tassimore stuff tree | commitdiff
2007-11-28 Enrico Tassi... tree | commitdiff
2007-11-27 Claudio Sacerdoti... Output is now in UTF8 character counts. tree | commitdiff
2007-11-27 Claudio Sacerdoti... Options declared but not parsed. tree | commitdiff
2007-11-27 Claudio Sacerdoti... Ported to camlp5 < 5.00 tree | commitdiff
2007-11-27 Claudio Sacerdoti... Back-ported to camlp5 < 5.00. tree | commitdiff
2007-11-27 Enrico Tassi... tree | commitdiff
2007-11-27 Stefano Zacchiroliremove debug fake data tree | commitdiff
2007-11-27 Stefano Zacchiroli(hackish) scripts for testing spurious disambiguation... tree | commitdiff
2007-11-27 Stefano Zacchiroliadd "-order" cmdline option to just print a possible... tree | commitdiff
2007-11-27 Stefano Zacchirolichange naming scheme for rottened script, so that they... tree | commitdiff
2007-11-27 Enrico Tassi... tree | commitdiff
2007-11-27 Enrico Tassimajor reorganization (read cleanup) tree | commitdiff
2007-11-27 Enrico Tassibir georganization, most of the structures done tree | commitdiff
2007-11-27 Stefano Zacchiroliavoid rottening of constructor names in pattern matchings tree | commitdiff
2007-11-27 Stefano Zacchiroli- use "O" as the rottening token tree | commitdiff
2007-11-27 Stefano Zacchirolimake target for cleaning rottened files tree | commitdiff
2007-11-26 Enrico Tassireorganization of many files according to the new basic... tree | commitdiff
2007-11-26 Stefano Zacchirolifirst draft of a script to mechanically introduce ... tree | commitdiff
2007-11-26 Stefano Zacchiroliadd dump of position information in the lexed file tree | commitdiff
2007-11-26 Claudio Sacerdoti... Axiom moved from ex_deriv to deriv where it belongs to. tree | commitdiff
2007-11-26 Claudio Sacerdoti... Notation improved. tree | commitdiff
2007-11-26 Claudio Sacerdoti... Some code clean-up. tree | commitdiff
2007-11-26 Claudio Sacerdoti... Disambiguation error compaction is now performed in... tree | commitdiff
2007-11-26 Enrico Tassifor csc tree | commitdiff
2007-11-26 Enrico Tassipretty tree | commitdiff
2007-11-26 Claudio Sacerdoti... Patch to automatically generate filename.error.md5... tree | commitdiff
2007-11-26 Andrea AspertiAlmost there. tree | commitdiff
2007-11-25 Claudio Sacerdoti... This version of disambiguate.ml implements yet another... tree | commitdiff
2007-11-25 Claudio Sacerdoti... Bug fixed: an unification exception used to escape... tree | commitdiff
2007-11-23 Enrico Tassisince the previous commit fixed some bugs when the... tree | commitdiff
2007-11-23 Enrico Tassirestored the right context used to generate names.... tree | commitdiff
2007-11-23 Claudio Sacerdoti... This alternative version of disambiguate.crit2 implemen... tree | commitdiff
2007-11-23 Enrico Tassifast and sound registry lists tree | commitdiff
2007-11-23 Stefano Zacchiroli* NOT RELEASED YET tree | commitdiff
2007-11-23 Stefano Zacchiroli* bump deps on lablgtk2 to match lates upstream tree | commitdiff
2007-11-22 Enrico Tassilemma finisced tree | commitdiff
2007-11-22 Claudio Sacerdoti... Bug fixed in printing of passes in error messages. tree | commitdiff
2007-11-22 Enrico Tassilemma 3.57 half done!!!! tree | commitdiff
2007-11-22 Enrico Tassinotation in autogui tree | commitdiff
2007-11-22 Andrea AspertiBig progress tree | commitdiff
2007-11-22 Enrico Tassisnapshot tree | commitdiff
2007-11-21 Claudio Sacerdoti... Very incomplete example of simple calculus exercises... tree | commitdiff
2007-11-20 Enrico Tassi... tree | commitdiff
2007-11-20 Enrico Tassiopps, a changelog was already there tree | commitdiff
2007-11-19 Claudio Sacerdoti... Bug fixed: local type declarations are not allowed... tree | commitdiff
2007-11-19 Enrico Tassi... tree | commitdiff
2007-11-19 Andrea AspertiTowards chebyshev. tree | commitdiff
2007-11-18 Claudio Sacerdoti... The axiom can be proved. Just follow the hint. tree | commitdiff
2007-11-17 Enrico Tassifixed bugs found by csc tree | commitdiff
2007-11-17 Enrico Tassimoved to pkg-ocaml-maint tree | commitdiff
2007-11-16 Claudio Sacerdoti... Some notes for Enrico. tree | commitdiff
2007-11-16 Enrico Tassi... tree | commitdiff
2007-11-16 Enrico Tassihidded publish-devel button, too dangerous for the... tree | commitdiff
2007-11-16 Enrico Tassihidded all hbugs related stuff tree | commitdiff
2007-11-16 Enrico Tassifrom the tarball removed all contribs, they used to... tree | commitdiff
2007-11-16 Enrico Tassi... tree | commitdiff
2007-11-16 Enrico Tassi... tree | commitdiff
2007-11-16 Enrico Tassinocomposites tree | commitdiff
2007-11-16 Enrico Tassicompose tactic restore and added nocomposites keyword tree | commitdiff
2007-11-16 Enrico Tassimore cleanup tree | commitdiff
2007-11-16 Enrico Tassi... tree | commitdiff
2007-11-16 Enrico Tassiadded recommends graphvi tree | commitdiff
2007-11-16 Enrico Tassi... tree | commitdiff
2007-11-16 Enrico Tassixxx tree | commitdiff
2007-11-16 Enrico Tassiadded homepage field in control tree | commitdiff
2007-11-16 Enrico Tassifix tree | commitdiff
2007-11-16 Enrico Tassifix -noinnertypes set to true! tree | commitdiff
2007-11-16 Enrico Tassiremoved dummy MATITA_CFLAGS assignement tree | commitdiff
2007-11-16 Enrico Tassiadded default for matita.noiinertypes tree | commitdiff
2007-11-16 Enrico Tassimenu fised tree | commitdiff
2007-11-16 Enrico Tassipropagation of noinnertypes to matitac tree | commitdiff
2007-11-16 Enrico Tassiadded -noinnertypes tree | commitdiff
2007-11-16 Enrico Tassi... tree | commitdiff
2007-11-15 Enrico Tassicleanup tree | commitdiff
2007-11-15 Enrico Tassicleanup tree | commitdiff
2007-11-15 Enrico Tassideclared eq_sym as a coercion and added 2 lemmas for... tree | commitdiff
2007-11-15 Enrico Tassi... tree | commitdiff
2007-11-15 Enrico Tassiautobatch => [auto] tree | commitdiff
2007-11-15 Enrico Tassi... tree | commitdiff
2007-11-15 Enrico Tassi... tree | commitdiff
2007-11-15 Enrico Tassiremoved prerr_endline tree | commitdiff
2007-11-15 Enrico Tassiremoved ugly prerr_endline tree | commitdiff
2007-11-15 Enrico Tassiadded --version to allow help2man tree | commitdiff
2007-11-15 Enrico Tassiadded manpages tree | commitdiff
2007-11-15 Enrico Tassi... tree | commitdiff
2007-11-15 Enrico Tassimatita-icon tree | commitdiff
2007-11-15 Enrico Tassi... tree | commitdiff
2007-11-15 Enrico Tassi... tree | commitdiff
2007-11-15 Enrico Tassi... tree | commitdiff
2007-11-15 Enrico Tassiwrong dependency removed tree | commitdiff
2007-11-15 Enrico Tassichangelog to -rc-1 tree | commitdiff
2007-11-15 Enrico Tassi... tree | commitdiff
2007-11-15 Enrico Tassirc-1 tree | commitdiff
2007-11-15 Enrico Tassiadded ~delta parameter to saturate_term and used it... tree | commitdiff
2007-11-14 Claudio Sacerdoti... Bug fixed: yet another case where tys of mutual recursi... tree | commitdiff
2007-11-14 Enrico Tassixxx tree | commitdiff
2007-11-14 Ferruccio Guidinow destruct takes an optional list of term rather... tree | commitdiff
2007-11-14 Enrico Tassifixed notation tree | commitdiff
2007-11-14 Enrico Tassiogroups almost finished tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.