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