]> matita.cs.unibo.it Git - helm.git/history - helm/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
* implemented unless
[helm.git] / helm / matita /
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
2005-07-05 Claudio Sacerdoti... Baseuri changed to move replace into matita. tree | commitdiff
2005-07-05 Claudio Sacerdoti... re-added $(H) to matitaclean tree | commitdiff
2005-07-05 Claudio Sacerdoti... Fixed a bug that prevented the removal of the XML files... tree | commitdiff
2005-07-05 Claudio Sacerdoti... baseuri changed to move the test into the matita namespace tree | commitdiff
2005-07-05 Claudio Sacerdoti... * safe_remove exported and moved to MatitaMisc tree | commitdiff
2005-07-05 Stefano Zacchiroliported to new getter interface tree | commitdiff
2005-07-04 Claudio Sacerdoti... notification of changes is now done only at the very... tree | commitdiff
2005-07-04 Claudio Sacerdoti... icons added to the list of required symbolic links tree | commitdiff
2005-07-04 Claudio Sacerdoti... make clean now prints what is being removed tree | commitdiff
2005-07-04 Claudio Sacerdoti... default tree | commitdiff
2005-07-04 Claudio Sacerdoti... "input" was meant to be "include" tree | commitdiff
2005-07-04 Claudio Sacerdoti... New command default "foo" uri1 ... urin tree | commitdiff
2005-07-04 Claudio Sacerdoti... pretty printing of URIs tree | commitdiff
2005-07-04 Enrico Tassiaded confirmation dialog for baseuri redefinement tree | commitdiff
2005-07-04 Enrico Tassimoo do not depend on .depend tree | commitdiff
2005-07-04 Enrico Tassicenter on parent now works for ask_confirmation dialog tree | commitdiff
2005-07-04 Claudio Sacerdoti... include tree | commitdiff
2005-07-04 Claudio Sacerdoti... coercions are now stored in the .moo file. tree | commitdiff
2005-07-04 Claudio Sacerdoti... Use eval_from_stream in place of eval_from_stream_ref... tree | commitdiff
2005-07-04 Claudio Sacerdoti... include must not add aliases in the script! tree | commitdiff
2005-07-04 Claudio Sacerdoti... "include" command implemented. tree | commitdiff
2005-07-04 Enrico Tassimatitaclean splitted in matitacleanLib and matitaclean. tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.