]> matita.cs.unibo.it Git - helm.git/history - helm/matita
fixed auto when the context has some deleted hypothesis
[helm.git] / helm / matita /
2005-07-07 Claudio Sacerdoti... No more need for symbolic links: .matita, the configura...
2005-07-07 Andrea AspertiRaising an error on a bad theorem name.
2005-07-07 Ferruccio Guidianother bug of auto
2005-07-07 Claudio Sacerdoti... ...
2005-07-07 Enrico Tassi$ matita filename
2005-07-07 Enrico Tassiadded test for elim
2005-07-07 Claudio Sacerdoti... ...
2005-07-07 Claudio Sacerdoti... matitaclean now removes the .moo file, if existent.
2005-07-07 Enrico Tassienv creation fix
2005-07-07 Claudio Sacerdoti... Bug fixed: no .moo can be generated if the status is...
2005-07-07 Claudio Sacerdoti... Debugging message removed.
2005-07-07 Enrico Tassinow tables are recreated if needed and mattiaclean...
2005-07-07 Claudio Sacerdoti... notify was not called when Margin was raised. Fixed.
2005-07-07 Enrico Tassitables for matita.owner are created at boot
2005-07-07 Enrico Tassifixed according to the new fresh name generator
2005-07-07 Claudio Sacerdoti... matita.ma.templ must be symbolically linked
2005-07-07 Enrico Tassifixed a problem when newScript was called
2005-07-06 Enrico Tassisome more tests
2005-07-06 Enrico Tassicheck on baseuri
2005-07-06 Enrico Tassiadded tests for contructor and clearbody
2005-07-06 Claudio Sacerdoti... 1. tactical "try_tacticals" renamed to "first"
2005-07-06 Claudio Sacerdoti... clean did not remove matitatop*
2005-07-06 Enrico Tassiadded test for change
2005-07-06 Enrico Tassiadded test for assumption
2005-07-06 Enrico Tassifix
2005-07-06 Enrico Tassiadded script template
2005-07-06 Ferruccio Guidifix please
2005-07-06 Enrico Tassimatita now asks to save .moo if possible or cleans...
2005-07-06 Claudio Sacerdoti... Shell variables are all global! Fixed a bug that preven...
2005-07-05 Ferruccio Guidiname specifications added for elim_intros, elim_intros_...
2005-07-05 Claudio Sacerdoti... Wrong merge repaired.
2005-07-05 Claudio Sacerdoti... matitatop now cleans all before exiting in every situation.
2005-07-05 Claudio Sacerdoti... Another "hard" test that used to fail.
2005-07-05 Enrico Tassifunction to domp moo_content is now exported
2005-07-05 Claudio Sacerdoti... This commit fixes matitatop that was no longer working...
2005-07-05 Enrico Tassinow the moo contains also composed coercions (and It...
2005-07-05 Claudio Sacerdoti... * new interface matitaTypes.mli
2005-07-05 Claudio Sacerdoti... let's find the .ma files also in subdirectories
2005-07-05 Claudio Sacerdoti... tests/* ==> *
2005-07-05 Claudio Sacerdoti... Gtk loop was called only when a proof was terminated...
2005-07-05 Claudio Sacerdoti... Ported to separate compilation and the new getter imple...
2005-07-05 Enrico Tassiadded mark moving refresh
2005-07-05 Claudio Sacerdoti... Baseuri changed to move replace into matita.
2005-07-05 Claudio Sacerdoti... re-added $(H) to matitaclean
2005-07-05 Claudio Sacerdoti... Fixed a bug that prevented the removal of the XML files...
2005-07-05 Claudio Sacerdoti... baseuri changed to move the test into the matita namespace
2005-07-05 Claudio Sacerdoti... * safe_remove exported and moved to MatitaMisc
2005-07-05 Stefano Zacchiroliported to new getter interface
2005-07-04 Claudio Sacerdoti... notification of changes is now done only at the very...
2005-07-04 Claudio Sacerdoti... icons added to the list of required symbolic links
2005-07-04 Claudio Sacerdoti... make clean now prints what is being removed
2005-07-04 Claudio Sacerdoti... default
2005-07-04 Claudio Sacerdoti... "input" was meant to be "include"
2005-07-04 Claudio Sacerdoti... New command default "foo" uri1 ... urin
2005-07-04 Claudio Sacerdoti... pretty printing of URIs
2005-07-04 Enrico Tassiaded confirmation dialog for baseuri redefinement
2005-07-04 Enrico Tassimoo do not depend on .depend
2005-07-04 Enrico Tassicenter on parent now works for ask_confirmation dialog
2005-07-04 Claudio Sacerdoti... include
2005-07-04 Claudio Sacerdoti... coercions are now stored in the .moo file.
2005-07-04 Claudio Sacerdoti... Use eval_from_stream in place of eval_from_stream_ref...
2005-07-04 Claudio Sacerdoti... include must not add aliases in the script!
2005-07-04 Claudio Sacerdoti... "include" command implemented.
2005-07-04 Enrico Tassimatitaclean splitted in matitacleanLib and matitaclean.
2005-07-04 Claudio Sacerdoti... alias declarations are now put in the .moo file.
2005-07-04 Enrico Tassimatitaclean now call getter.ls using a buri with a...
2005-07-04 Claudio Sacerdoti... Improvements in matitatop: instead of doing exit -1...
2005-07-03 Claudio Sacerdoti... Equality tactics are now used in the first half of...
2005-07-02 Claudio Sacerdoti... The equality tactics are now exploited.
2005-07-02 Claudio Sacerdoti... New theorem: eq_ind_r.
2005-07-02 Claudio Sacerdoti... cosmetic change: a space removed (to make tests/Makefil...
2005-07-01 Enrico Tassimay fix the nigtly build
2005-07-01 Enrico Tassimore makefile work
2005-07-01 Claudio Sacerdoti... make tests and make tests.opt now call their counterpar...
2005-07-01 Claudio Sacerdoti... The tests are now in alphabetical order.
2005-07-01 Claudio Sacerdoti... match.ma removed
2005-07-01 Claudio Sacerdoti... * match.ma removed (it is now splitted in several files...
2005-07-01 Claudio Sacerdoti... ...
2005-07-01 Claudio Sacerdoti... conflicting baseuri
2005-07-01 Claudio Sacerdoti... matitaclean is necessary!
2005-07-01 Claudio Sacerdoti... ...
2005-07-01 Claudio Sacerdoti... * makefile improved
2005-07-01 Claudio Sacerdoti... new targets:
2005-07-01 Claudio Sacerdoti... ...
2005-07-01 Claudio Sacerdoti... New argument: the cleaner.
2005-07-01 Claudio Sacerdoti... make all is now nicer
2005-07-01 Claudio Sacerdoti... Two targets now:
2005-07-01 Claudio Sacerdoti... make MATITAC="../scripts/do_tests.sh ../matitac /dev...
2005-07-01 Claudio Sacerdoti... ...
2005-07-01 Claudio Sacerdoti... Makefile improved
2005-07-01 Claudio Sacerdoti... The library of matita is borned! Long life to the libra...
2005-07-01 Enrico Tassima -> moo in dependencies
2005-07-01 Enrico Tassinow maketests uses matitaclean (but not in the right...
2005-07-01 Enrico Tassifirst snapshot of separate compilation
2005-07-01 Claudio Sacerdoti... matitaclean.opt, matitadep.opt
2005-07-01 Claudio Sacerdoti... ...
2005-07-01 Claudio Sacerdoti... An interesting test for replace.
2005-07-01 Claudio Sacerdoti... Signature of fwdSimpl changed to get rid of a warning.
2005-07-01 Claudio Sacerdoti... matitaclean
2005-07-01 Claudio Sacerdoti... New syntax for patterns.
next