]> matita.cs.unibo.it Git - helm.git/history - helm/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
merged cic_notation with disambiguation: good luck!
[helm.git] / helm / matita /
2005-07-15 Enrico Tassifixed a specific case in development handling tree | commitdiff
2005-07-15 Enrico Tassimatitamake is integrated with matita tree | commitdiff
2005-07-15 Enrico Tassifix tree | commitdiff
2005-07-15 Andrea AspertiAdded a new contrib div_and_mod and few modifs here... tree | commitdiff
2005-07-15 Andrea AspertiBad name should be an error and not just a warning. tree | commitdiff
2005-07-13 Enrico Tassiall interface is locked during advance/retract tree | commitdiff
2005-07-13 Enrico Tassifixed lock mark tree | commitdiff
2005-07-13 Enrico Tassisome more replace facility: alt-r tree | commitdiff
2005-07-13 Enrico Tassifix tree | commitdiff
2005-07-13 Enrico Tassiadded find&replace facility tree | commitdiff
2005-07-13 Enrico Tassiuse dvariant for associtivity tree | commitdiff
2005-07-13 Enrico Tassiremoved drop. tree | commitdiff
2005-07-13 Andrea AspertiNew version of the library. tree | commitdiff
2005-07-13 Enrico Tassicopied text is unlocked :) tree | commitdiff
2005-07-13 Enrico Tassimatitamake stuff: tree | commitdiff
2005-07-12 Claudio Sacerdoti... Debugging comment removed. tree | commitdiff
2005-07-12 Claudio Sacerdoti... Benchmark fixed. It was broken by the change in the... tree | commitdiff
2005-07-12 Enrico Tassiadded matitamake tree | commitdiff
2005-07-12 Enrico Tassiadded matita.conf.xml.sample tree | commitdiff
2005-07-12 Enrico Tassiadded .moo tree | commitdiff
2005-07-11 Enrico Tassi... tree | commitdiff
2005-07-11 Enrico Tassifix tree | commitdiff
2005-07-11 Enrico Tassidefault USER_HOME to pwd tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Enrico Tassifix tree | commitdiff
2005-07-11 Enrico Tassimatita.conf.xml.sample is now generated tree | commitdiff
2005-07-11 Enrico Tassiadded a flag to do the check of alredy-proved-theorem tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Claudio Sacerdoti... A few .cvsignore here and there. tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Claudio Sacerdoti... Bug fixed: the generated elimination principles used... tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Andrea Aspertialiases are now compared not only looking at the domain... tree | commitdiff
2005-07-11 Andrea Aspertionly regular files are ending in .ma are now searched tree | commitdiff
2005-07-11 Andrea AspertiNew version of the library, a bit more structured. tree | commitdiff
2005-07-11 Andrea Asperti Removed the old library. tree | commitdiff
2005-07-09 Claudio Sacerdoti... New test suite for generalize. tree | commitdiff
2005-07-08 Enrico Tassiadded variant thm flavour tree | commitdiff
2005-07-08 Claudio Sacerdoti... Replace is now working again and it is able to match... tree | commitdiff
2005-07-08 Claudio Sacerdoti... ... tree | commitdiff
2005-07-08 Claudio Sacerdoti... Elim generalized to saturate its argument. tree | commitdiff
2005-07-08 Claudio Sacerdoti... dead code removed tree | commitdiff
2005-07-08 Claudio Sacerdoti... Bug fixed: metavariables generated by the saturation... tree | commitdiff
2005-07-08 Enrico Tassiit seems the sequent window is refreshed properly now tree | commitdiff
2005-07-08 Enrico Tassiadded query tree | commitdiff
2005-07-08 Stefano Zacchiroliadded some items tree | commitdiff
2005-07-08 Enrico Tassifixed url tree | commitdiff
2005-07-08 Claudio Sacerdoti... ... tree | commitdiff
2005-07-08 Claudio Sacerdoti... 1. PrimitiveTactics.new_metasenv_for_apply changed... tree | commitdiff
2005-07-08 Claudio Sacerdoti... ... tree | commitdiff
2005-07-07 Stefano Zacchiroliadded some other items tree | commitdiff
2005-07-07 Stefano Zacchiroliadded some todo items tree | commitdiff
2005-07-07 Claudio Sacerdoti... ... tree | commitdiff
2005-07-07 Claudio Sacerdoti... ... tree | commitdiff
2005-07-07 Claudio Sacerdoti... 1. Warnings are now printed in orange (yellow was unvis... tree | commitdiff
2005-07-07 Claudio Sacerdoti... No more need for symbolic links: .matita, the configura... tree | commitdiff
2005-07-07 Andrea AspertiRaising an error on a bad theorem name. tree | commitdiff
2005-07-07 Ferruccio Guidianother bug of auto tree | commitdiff
2005-07-07 Claudio Sacerdoti... ... tree | commitdiff
2005-07-07 Enrico Tassi$ matita filename tree | commitdiff
2005-07-07 Enrico Tassiadded test for elim tree | commitdiff
2005-07-07 Claudio Sacerdoti... ... tree | commitdiff
2005-07-07 Claudio Sacerdoti... matitaclean now removes the .moo file, if existent. tree | commitdiff
2005-07-07 Enrico Tassienv creation fix tree | commitdiff
2005-07-07 Claudio Sacerdoti... Bug fixed: no .moo can be generated if the status is... tree | commitdiff
2005-07-07 Claudio Sacerdoti... Debugging message removed. tree | commitdiff
2005-07-07 Enrico Tassinow tables are recreated if needed and mattiaclean... tree | commitdiff
2005-07-07 Claudio Sacerdoti... notify was not called when Margin was raised. Fixed. tree | commitdiff
2005-07-07 Enrico Tassitables for matita.owner are created at boot tree | commitdiff
2005-07-07 Enrico Tassifixed according to the new fresh name generator tree | commitdiff
2005-07-07 Claudio Sacerdoti... matita.ma.templ must be symbolically linked tree | commitdiff
2005-07-07 Enrico Tassifixed a problem when newScript was called tree | commitdiff
2005-07-06 Enrico Tassisome more tests tree | commitdiff
2005-07-06 Enrico Tassicheck on baseuri tree | commitdiff
2005-07-06 Enrico Tassiadded tests for contructor and clearbody tree | commitdiff
2005-07-06 Claudio Sacerdoti... 1. tactical "try_tacticals" renamed to "first" tree | commitdiff
2005-07-06 Claudio Sacerdoti... clean did not remove matitatop* tree | commitdiff
2005-07-06 Enrico Tassiadded test for change tree | commitdiff
2005-07-06 Enrico Tassiadded test for assumption tree | commitdiff
2005-07-06 Enrico Tassifix tree | commitdiff
2005-07-06 Enrico Tassiadded script template tree | commitdiff
2005-07-06 Ferruccio Guidifix please tree | commitdiff
2005-07-06 Enrico Tassimatita now asks to save .moo if possible or cleans... tree | commitdiff
2005-07-06 Claudio Sacerdoti... Shell variables are all global! Fixed a bug that preven... tree | commitdiff
2005-07-05 Ferruccio Guidiname specifications added for elim_intros, elim_intros_... tree | commitdiff
2005-07-05 Claudio Sacerdoti... Wrong merge repaired. tree | commitdiff
2005-07-05 Claudio Sacerdoti... matitatop now cleans all before exiting in every situation. tree | commitdiff
2005-07-05 Claudio Sacerdoti... Another "hard" test that used to fail. tree | commitdiff
2005-07-05 Enrico Tassifunction to domp moo_content is now exported tree | commitdiff
2005-07-05 Claudio Sacerdoti... This commit fixes matitatop that was no longer working... tree | commitdiff
2005-07-05 Enrico Tassinow the moo contains also composed coercions (and It... tree | commitdiff
2005-07-05 Claudio Sacerdoti... * new interface matitaTypes.mli tree | commitdiff
2005-07-05 Claudio Sacerdoti... let's find the .ma files also in subdirectories tree | commitdiff
2005-07-05 Claudio Sacerdoti... tests/* ==> * tree | commitdiff
2005-07-05 Claudio Sacerdoti... Gtk loop was called only when a proof was terminated... tree | commitdiff
2005-07-05 Claudio Sacerdoti... Ported to separate compilation and the new getter imple... tree | commitdiff
2005-07-05 Enrico Tassiadded mark moving refresh tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.