]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2005-07-08 Claudio Sacerdoti... Bug fixed: metavariables generated by the saturation...
2005-07-08 Enrico Tassiit seems the sequent window is refreshed properly now
2005-07-08 Enrico Tassiadded query
2005-07-08 Stefano Zacchiroliadded some items
2005-07-08 Enrico Tassifixed url
2005-07-08 Claudio Sacerdoti... ...
2005-07-08 Stefano Zacchiroliversion 0.7.1
2005-07-08 Claudio Sacerdoti... The fix and cofix cases of the select were not finished...
2005-07-08 Claudio Sacerdoti... 1. PrimitiveTactics.new_metasenv_for_apply changed...
2005-07-08 Claudio Sacerdoti... An impossible case changed to an assert false.
2005-07-08 Claudio Sacerdoti... ...
2005-07-07 Stefano Zacchiroliadded some other items
2005-07-07 Stefano Zacchiroliadded some todo items
2005-07-07 Claudio Sacerdoti... ...
2005-07-07 Claudio Sacerdoti... ...
2005-07-07 Claudio Sacerdoti... 1. Warnings are now printed in orange (yellow was unvis...
2005-07-07 Enrico Tassiapply_tac now catches TypeChecerFailure and raises...
2005-07-07 Enrico Tassifixed auto when the context has some deleted hypothesis
2005-07-07 Claudio Sacerdoti... No more need for symbolic links: .matita, the configura...
2005-07-07 Claudio Sacerdoti... Bug fixed: uris can contain '-' (e.g. cic:/Sophia-Antip...
2005-07-07 Claudio Sacerdoti... Names bound in lambdas can now be used in the "canonica...
2005-07-07 Andrea AspertiCheck function for Matita name convention.
2005-07-07 Andrea AspertiRaising an error on a bad theorem name.
2005-07-07 Stefano Zacchiroli- new upstream release
2005-07-07 Stefano Zacchirolis/debian\//debian/: avoid issue on make dist with new...
2005-07-07 Stefano Zacchirolibumped version to 0.0.7
2005-07-07 Stefano Zacchirolienable static binding of C/OCaml glue code
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 Enrico Tassitab -> spaces
2005-07-07 Enrico Tassialim of now resets the counter
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-07 Enrico Tassiremoved gdom2 dep
2005-07-06 Stefano Zacchiroli- bugfix: correctly handle real "index.theory"
2005-07-06 Claudio Sacerdoti... Bug fixed: "intros n" should fail when there are less...
2005-07-06 Stefano Zacchiroliadded index.theory handling
2005-07-06 Claudio Sacerdoti... Fixed a bug in the "do" tactical that made it diverge.
2005-07-06 Claudio Sacerdoti... mk_fresh_name now returns [name] instead of its basenam...
2005-07-06 Stefano Zacchirolino longer handle Shell exceptions (no more used by...
2005-07-06 Stefano Zacchiroliadded backtick function
2005-07-06 Stefano Zacchirolino longer uses Shell library
2005-07-06 Stefano Zacchiroli- updated META dependencies (no more dbm, no more shell)
2005-07-06 Stefano Zacchiroliuses mowgli's getter conffile as sample
2005-07-06 Enrico Tassisome more tests
2005-07-06 Stefano Zacchirolireimplemented on top of latest getter library (no more...
2005-07-06 Stefano Zacchirolibugfix: leave ".theory" suffix in place for theory...
2005-07-06 Stefano Zacchirolihelp string in sync with available commands
2005-07-06 Stefano Zacchiroli- handle prefixes on the same line in conffile
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 Tassiclear now fails if the hypothesys doesnt exist, and...
2005-07-06 Stefano Zacchiroliadded support for multiple binding of the same prefix...
2005-07-06 Enrico Tassifix
2005-07-06 Enrico Tassiadded script template
2005-07-06 Stefano Zacchirolido not .body/.types/.proof_tree files from ls output
2005-07-06 Stefano Zacchiroli- bugfix in cache handling for remote resources
2005-07-06 Enrico Tassinow it doesn't try to apply a cleared hypothesis
2005-07-06 Stefano Zacchirolibetter exception handling for HTTP errors
2005-07-06 Claudio Sacerdoti... * Bug fixed: "tac." was parsed as Seq [tac]
2005-07-06 Ferruccio Guidifix please
2005-07-06 Enrico Tassimatita now asks to save .moo if possible or cleans...
2005-07-06 Stefano Zacchiroliadded docu comment
2005-07-06 Stefano Zacchirolitypo fixed: s/msemantics/semantics/
2005-07-06 Stefano Zacchiroliremoved (wrong) output encoding iso-8859-1
2005-07-06 Claudio Sacerdoti... Shell variables are all global! Fixed a bug that preven...
2005-07-06 Claudio Sacerdoti... -rectypes missing for native code compilation
2005-07-06 Claudio Sacerdoti... Some precisations on a few comments by Ferruccio.
2005-07-05 Stefano Zacchirolisnapshot
2005-07-05 Ferruccio Guidiname specifications added for elim_intros, elim_intros_...
2005-07-05 Claudio Sacerdoti... Debugging back to false
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 Claudio Sacerdoti... Bug fixed: the outtype of a match when omitted was...
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 Stefano Zacchirolisnapshot
2005-07-05 Claudio Sacerdoti... tests/* ==> *
2005-07-05 Claudio Sacerdoti... Gtk loop was called only when a proof was terminated...
2005-07-05 Ferruccio Guidiid ;-) and lapply patched
2005-07-05 Claudio Sacerdoti... Ported to separate compilation and the new getter imple...
next