]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2006-02-03 Stefano Zacchiroliadded DBHOST & co ...
2006-02-03 Stefano Zacchirolidefault of auto_disambiguation set to true
2006-02-03 Claudio Sacerdoti... svn:ignore updated
2006-02-02 Stefano Zacchiroli- moved images in images/
2006-02-02 Stefano Zacchiroliuse server-side include
2006-02-02 Stefano Zacchiroliadded images and links for validation
2006-02-02 Enrico Tassifix
2006-02-02 Enrico Tassifix
2006-02-02 Enrico Tassifix
2006-02-02 Stefano Zacchirolia further step toward releasable Makefile
2006-02-02 Claudio Sacerdoti... Some more work...
2006-02-02 Stefano Zacchirolireorganization continues ...
2006-02-02 Stefano Zacchiroli(dis)organized web stuff
2006-02-02 Stefano Zacchirolidaemons tamed
2006-02-02 Stefano Zacchirolidir reorganization
2006-02-02 Stefano Zacchirolimoved some old stuff to the history
2006-02-02 Stefano Zacchiroliremoved "tilde_expand" hack: for the moment it is not...
2006-02-02 Stefano Zacchiroliremoved no longer used coq_notation_script from API
2006-02-02 Stefano Zacchiroliadded fallback to environment variables when a key...
2006-02-02 Stefano Zacchirolirelease work snapshot ...
2006-02-02 Stefano Zacchiroliadded meta targets all, opt, ...
2006-02-02 Stefano Zacchirolisnapshot
2006-02-02 Stefano Zacchirolino longer ignore Makefile.defs
2006-02-02 Stefano Zacchirolino more multiple configure/Makefile, just one for both...
2006-02-02 Stefano Zacchiroliworking on the release ... la la la
2006-02-02 Enrico Tassimore style fixes
2006-02-02 Claudio Sacerdoti... No longer valid comment removed.
2006-02-02 Stefano Zacchiroli- "ocaml/" -> "libs/" in the distribution
2006-02-02 Stefano Zacchirolirelease snapshot ...
2006-02-02 Enrico Tassiported to the IEEE latex8 style
2006-02-02 Stefano Zacchiroliadded (placeholder) distribution stuff for matita
2006-02-02 Stefano Zacchiroliremoved obsolete library installation dir setting
2006-02-02 Stefano Zacchirolimoved dot stuff to STATS/
2006-02-02 Stefano Zacchirolimoved mathql metas to mathql/
2006-02-02 Stefano Zacchirolimoved mathql side by side with ocaml/
2006-02-01 Stefano Zacchiroliline breaking
2006-02-01 Stefano Zacchirolinear to the final version ...
2006-02-01 Stefano Zacchirolireview on csc's latest additions
2006-02-01 Enrico Tassiadded links to svn tarballs
2006-02-01 Claudio Sacerdoti... Closer to the proof of the pigeonhole principle......
2006-02-01 Claudio Sacerdoti... Bug fixed in generalization: the goals opened by lazy...
2006-02-01 Claudio Sacerdoti... Abstract and conclusions.
2006-02-01 Andrea AspertiSnapshot
2006-02-01 Andrea AspertiSnapshot
2006-02-01 Stefano Zacchiroliline breaking
2006-02-01 Stefano Zacchirolispell checking
2006-01-31 Claudio Sacerdoti... Pigeonhole proof restructured.
2006-01-31 Claudio Sacerdoti... Some more work on the proof of the pigeonhole principle.
2006-01-31 Claudio Sacerdoti... Bug fixed in generalize: a status was generated with...
2006-01-31 Enrico Tassiadded fix for marangon
2006-01-31 Stefano Zacchiroliuse math mode when referencing terms from a \sequent...
2006-01-31 Claudio Sacerdoti... community review, solved a couple of TODO
2006-01-31 Stefano Zacchiroli/me finished reviewing ...
2006-01-31 Stefano Zacchiroli/me reviewed section 4
2006-01-31 Andrea Aspertifixed
2006-01-31 Andrea Aspertifixed ocamldep command line
2006-01-31 Stefano Zacchiroli/me reviewed automation subsection
2006-01-31 Enrico Tassifix
2006-01-31 Enrico Tassifixed some depends
2006-01-31 Claudio Sacerdoti... Bug fixed: metasenv used in place of metasenv' during...
2006-01-31 Stefano Zacchiroli/me reviewed section 3, here I go ...
2006-01-31 Enrico Tassiminor fixes to ENGLISH
2006-01-31 Andrea AspertiAdded a new section on automation
2006-01-31 Enrico Tassisome makefile work
2006-01-31 Stefano Zacchiroli/me reviewed up to section 2 (included)
2006-01-31 Claudio Sacerdoti... A new TODO.
2006-01-30 Claudio Sacerdoti... Some more progress in the proof of the (ad-hoc ?) pigeo...
2006-01-30 Stefano Zacchiroliadded a couple of todo items
2006-01-30 Enrico Tassifixed cmi:cm(x)a problem in makefiles
2006-01-30 Stefano Zacchirolisnapshot ...
2006-01-30 Claudio Sacerdoti... Un TODO rimosso.
2006-01-30 Claudio Sacerdoti... System section "completed".
2006-01-30 Claudio Sacerdoti... Rewriting steps using the rewriting principles in the...
2006-01-30 Stefano Zacchiroli- use kluwer bibtex style for numbered references
2006-01-30 Stefano Zacchiroli- minor corrections in the disambiguation section
2006-01-30 Stefano Zacchirolistructured a proof
2006-01-30 Stefano Zacchirolicorrect name entry {Sacerdoti Coen} in bibtex
2006-01-30 Enrico TassiCSC/Occam chain-saw/razor on tinycals and library gener...
2006-01-30 Stefano Zacchiroliuniformed terminology used in the indexing part to...
2006-01-30 Stefano Zacchiroli- recreated cicbrowser related screenshots
2006-01-30 Andrea AspertiTypos
2006-01-30 Andrea AspertiDraft of section Indexing and searching.
2006-01-30 Stefano Zacchiroliuniformed disambiguation part
2006-01-30 Andrea AspertiAdded whelp to the repository.
2006-01-30 Enrico Tassifew bits for coq comparison of patterns
2006-01-29 Enrico Tassichosmetic
2006-01-28 Stefano Zacchirolitidied .tex
2006-01-28 Stefano Zacchirolitidied .tex
2006-01-27 Claudio Sacerdoti... 1. The last commit that fixed unification of compound...
2006-01-27 Claudio Sacerdoti... A few paramodulation/demodulation tests moved from...
2006-01-27 Claudio Sacerdoti... Big bug fixed: attributes of constants were forgot...
2006-01-27 Claudio Sacerdoti... Cambiamenti nella parte sulla disambiguazione.
2006-01-27 Stefano Zacchiroli- added some cicbrowser screenshot (to be better placed...
2006-01-26 Stefano Zacchiroliuse italic by default
2006-01-26 Stefano Zacchiroliindentation
2006-01-26 Claudio Sacerdoti... A failing unification of a coercion vs a term is now...
2006-01-26 Stefano Zacchirolino longer requires old diagrams
2006-01-26 Stefano Zacchiroliremoved libraries old dot
2006-01-26 Stefano Zacchiroliremoved an old figure
2006-01-26 Stefano Zacchiroliremoved old version of the matita paper
next