]> matita.cs.unibo.it Git - helm.git/history - helm/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / matita
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/ commit | commitdiff
2006-02-03 Stefano Zacchirolirelease snapshot commit | commitdiff
2006-02-02 Stefano Zacchirolia further step toward releasable Makefile commit | commitdiff
2006-02-02 Claudio Sacerdoti... Some more work... commit | commitdiff
2006-02-02 Stefano Zacchiroliremoved "tilde_expand" hack: for the moment it is not... commit | commitdiff
2006-02-02 Stefano Zacchiroliremoved no longer used coq_notation_script from API commit | commitdiff
2006-02-02 Stefano Zacchirolirelease work snapshot ... commit | commitdiff
2006-02-02 Stefano Zacchirolino more multiple configure/Makefile, just one for both... commit | commitdiff
2006-02-02 Claudio Sacerdoti... No longer valid comment removed. commit | commitdiff
2006-02-01 Claudio Sacerdoti... Closer to the proof of the pigeonhole principle...... commit | commitdiff
2006-01-31 Claudio Sacerdoti... Pigeonhole proof restructured. commit | commitdiff
2006-01-31 Claudio Sacerdoti... Some more work on the proof of the pigeonhole principle. commit | commitdiff
2006-01-30 Claudio Sacerdoti... Some more progress in the proof of the (ad-hoc ?) pigeo... commit | commitdiff
2006-01-30 Stefano Zacchirolistructured a proof commit | commitdiff
2006-01-27 Claudio Sacerdoti... 1. The last commit that fixed unification of compound... commit | commitdiff
2006-01-27 Claudio Sacerdoti... A few paramodulation/demodulation tests moved from... commit | commitdiff
2006-01-26 Stefano Zacchiroliuse italic by default commit | commitdiff
2006-01-26 Stefano Zacchiroliindentation commit | commitdiff
2006-01-26 Claudio Sacerdoti... A failing unification of a coercion vs a term is now... commit | commitdiff
2006-01-25 Claudio Sacerdoti... New formulation of finite_enumerable_SemiGroups to... commit | commitdiff
2006-01-25 Claudio Sacerdoti... First part of a slightly more interesting proof on... commit | commitdiff
2006-01-25 Andrea AspertiAdded some examples for auto/paramodulation/demodulation. commit | commitdiff
2006-01-24 Stefano Zacchiroliadded undamaged version of the icon commit | commitdiff
2006-01-24 Stefano Zacchiroliremoved damaged icon commit | commitdiff
2006-01-23 Claudio Sacerdoti... right and left cancellation in groups commit | commitdiff
2006-01-20 Claudio Sacerdoti... Yet another strategy for let...ins: a let-in is _NEVER_... commit | commitdiff
2006-01-20 Stefano Zacchirolimore structured and indented version of nat.ma commit | commitdiff
2006-01-20 Stefano Zacchirolibugfix: when looking for a goal from the continuational... commit | commitdiff
2006-01-20 Stefano Zacchiroliadded a smaller version of the icon commit | commitdiff
2006-01-19 Claudio Sacerdoti... New reduction strategy (that behaves much better during... commit | commitdiff
2006-01-19 Claudio Sacerdoti... 1. Back to nicer (and more comprehensible) notation... commit | commitdiff
2006-01-19 Claudio Sacerdoti... "Hiding" notation for implicit coercion. Cool. commit | commitdiff
2006-01-19 Claudio Sacerdoti... A few experiments (with horrible results) using notation... commit | commitdiff
2006-01-18 Claudio Sacerdoti... baseuri of coq.ma fixed commit | commitdiff
2006-01-17 Claudio Sacerdoti... An embryonic kernel of the algebraic library. commit | commitdiff
2006-01-12 Enrico Tassifixed coercions undoooing commit | commitdiff
2006-01-12 Enrico Tassifixed paramodulation trnsition commit | commitdiff
2006-01-12 Andrea AspertiRemoved calls to paramodulation.saturation.init commit | commitdiff
2006-01-12 Claudio Sacerdoti... Dependency coq.moo.opt added to target tests.opt commit | commitdiff
2006-01-11 Enrico Tassimah... commit | commitdiff
2006-01-11 Enrico Tassifix commit | commitdiff
2006-01-11 Enrico TassiAdded $SVNOPTION. commit | commitdiff
2006-01-11 Claudio Sacerdoti... svn now uses $SVNOPTIONS; commit | commitdiff
2006-01-11 Claudio Sacerdoti... New table bench_svn to keep the map "mark"==>"revision" commit | commitdiff
2006-01-11 Claudio Sacerdoti... Hand-made generated inversion lemma. commit | commitdiff
2006-01-10 Ferruccio Guidicle introduced; ceq fixed commit | commitdiff
2006-01-10 Stefano Zacchiroliadded $Id$ commit | commitdiff
2006-01-10 Claudio Sacerdoti... Dead code removed. commit | commitdiff
2006-01-10 Claudio Sacerdoti... Dead code removed. commit | commitdiff
2006-01-10 Enrico TassiLIMIT 0,-1 no more valid --> removed commit | commitdiff
2006-01-09 Claudio Sacerdoti... The proofContext method now returns the empty context... commit | commitdiff
2006-01-09 Stefano Zacchirolichanges location of coq.ma (now "legacy/coq.ma") commit | commitdiff
2006-01-09 Stefano Zacchirolimatita standard library is an include path per default commit | commitdiff
2006-01-09 Stefano Zacchirolirebuilt commit | commitdiff
2006-01-09 Stefano Zacchirolicoq repository is legacy commit | commitdiff
2006-01-09 Stefano Zacchiroliadded stdlib_dir entry commit | commitdiff
2006-01-09 Stefano Zacchiroliadded buildTimeConf interface commit | commitdiff
2006-01-09 Stefano Zacchirolimoved coq.ma to library/legacy/ commit | commitdiff
2006-01-09 Stefano Zacchiroli- new location for coq.ma commit | commitdiff
2006-01-09 Stefano Zacchirolido not generate deps for legacy URIs commit | commitdiff
2006-01-09 Stefano Zacchiroliadded cleaning of .lexicon and .metadata files commit | commitdiff
2006-01-09 Claudio Sacerdoti... Bux fixed: matita did not save the .lexicon files!... commit | commitdiff
2006-01-09 Claudio Sacerdoti... Stupid bug of mine fixed: sometimes (Some ~-1) was... commit | commitdiff
2006-01-08 Claudio Sacerdoti... Bug fixed: the include_paths were no longer handled... commit | commitdiff
2006-01-08 Claudio Sacerdoti... Bug fixed: macros in the middle of a goto cursor or... commit | commitdiff
2006-01-08 Claudio Sacerdoti... Added $Id$ to every .ml file. commit | commitdiff
2006-01-08 Claudio Sacerdoti... .cvsignore files removed (the svn:property property... commit | commitdiff
2006-01-08 Claudio Sacerdoti... 1. Macros are now handled using an execption that is... commit | commitdiff
2005-12-26 Enrico Tassifix commit | commitdiff
2005-12-24 Enrico Tassibeauty\! commit | commitdiff
2005-12-24 Enrico Tassibeauty\! commit | commitdiff
2005-12-24 Enrico Tassifix commit | commitdiff
2005-12-24 Enrico Tassifix commit | commitdiff
2005-12-24 Enrico Tassifix commit | commitdiff
2005-12-24 Enrico Tassifix commit | commitdiff
2005-12-24 Enrico Tassimore fix commit | commitdiff
2005-12-24 Enrico Tassifix commit | commitdiff
2005-12-24 Enrico Tassiattempt to move nightly profiling to svn commit | commitdiff
2005-12-24 Enrico Tassitest commit commit | commitdiff
2005-12-23 Stefano Zacchiroliupdated commit | commitdiff
2005-12-22 Claudio Sacerdoti... Added parameter first_statement_only to the functions... commit | commitdiff
2005-12-22 Claudio Sacerdoti... alias diffing/insertion is now handled by matitaEngine... commit | commitdiff
2005-12-22 Claudio Sacerdoti... Makefiles made less verbose. commit | commitdiff
2005-12-22 Enrico Tassifix commit | commitdiff
2005-12-22 Enrico Tassifix commit | commitdiff
2005-12-22 Enrico Tassifix commit | commitdiff
2005-12-22 Enrico Tassifix commit | commitdiff
2005-12-22 Enrico Tassifix commit | commitdiff
2005-12-22 Enrico Tassifix commit | commitdiff
2005-12-22 Enrico Tassifix commit | commitdiff
2005-12-21 Claudio Sacerdoti... ... commit | commitdiff
2005-12-21 Enrico Tassifixed -f in clean commit | commitdiff
2005-12-21 Enrico Tassifix commit | commitdiff
2005-12-21 Enrico Tassifix commit | commitdiff
2005-12-21 Stefano Zacchirolireimplemented specific marshallars on top of generic... commit | commitdiff
2005-12-21 Enrico Tassifix commit | commitdiff
2005-12-21 Enrico Tassifix commit | commitdiff
2005-12-21 Enrico Tassifix commit | commitdiff
2005-12-21 Enrico Tassifix commit | commitdiff
2005-12-21 Enrico Tassifix commit | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.