]> matita.cs.unibo.it Git - helm.git/shortlog
projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2005-07-06 Enrico Tassiclear now fails if the hypothesys doesnt exist, and... commit | commitdiff | tree | snapshot
2005-07-06 Stefano Zacchiroliadded support for multiple binding of the same prefix... commit | commitdiff | tree | snapshot
2005-07-06 Enrico Tassifix commit | commitdiff | tree | snapshot
2005-07-06 Enrico Tassiadded script template commit | commitdiff | tree | snapshot
2005-07-06 Stefano Zacchirolido not .body/.types/.proof_tree files from ls output commit | commitdiff | tree | snapshot
2005-07-06 Stefano Zacchiroli- bugfix in cache handling for remote resources commit | commitdiff | tree | snapshot
2005-07-06 Enrico Tassinow it doesn't try to apply a cleared hypothesis commit | commitdiff | tree | snapshot
2005-07-06 Stefano Zacchirolibetter exception handling for HTTP errors commit | commitdiff | tree | snapshot
2005-07-06 Claudio Sacerdoti... * Bug fixed: "tac." was parsed as Seq [tac] commit | commitdiff | tree | snapshot
2005-07-06 Ferruccio Guidifix please commit | commitdiff | tree | snapshot
2005-07-06 Enrico Tassimatita now asks to save .moo if possible or cleans... commit | commitdiff | tree | snapshot
2005-07-06 Stefano Zacchiroliadded docu comment commit | commitdiff | tree | snapshot
2005-07-06 Stefano Zacchirolitypo fixed: s/msemantics/semantics/ commit | commitdiff | tree | snapshot
2005-07-06 Stefano Zacchiroliremoved (wrong) output encoding iso-8859-1 commit | commitdiff | tree | snapshot
2005-07-06 Claudio Sacerdoti... Shell variables are all global! Fixed a bug that preven... commit | commitdiff | tree | snapshot
2005-07-06 Claudio Sacerdoti... -rectypes missing for native code compilation commit | commitdiff | tree | snapshot
2005-07-06 Claudio Sacerdoti... Some precisations on a few comments by Ferruccio. commit | commitdiff | tree | snapshot
2005-07-05 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2005-07-05 Ferruccio Guidiname specifications added for elim_intros, elim_intros_... commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... Debugging back to false commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... Wrong merge repaired. commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... matitatop now cleans all before exiting in every situation. commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... Another "hard" test that used to fail. commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... Bug fixed: the outtype of a match when omitted was... commit | commitdiff | tree | snapshot
2005-07-05 Enrico Tassifunction to domp moo_content is now exported commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... This commit fixes matitatop that was no longer working... commit | commitdiff | tree | snapshot
2005-07-05 Enrico Tassinow the moo contains also composed coercions (and It... commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... * new interface matitaTypes.mli commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... let's find the .ma files also in subdirectories commit | commitdiff | tree | snapshot
2005-07-05 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... tests/* ==> * commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... Gtk loop was called only when a proof was terminated... commit | commitdiff | tree | snapshot
2005-07-05 Ferruccio Guidiid ;-) and lapply patched commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... Ported to separate compilation and the new getter imple... commit | commitdiff | tree | snapshot
2005-07-05 Enrico Tassiadded mark moving refresh commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... Baseuri changed to move replace into matita. commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... re-added $(H) to matitaclean commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... Fixed a bug that prevented the removal of the XML files... commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... baseuri changed to move the test into the matita namespace commit | commitdiff | tree | snapshot
2005-07-05 Claudio Sacerdoti... * safe_remove exported and moved to MatitaMisc commit | commitdiff | tree | snapshot
2005-07-05 Stefano Zacchiroliported to new getter interface commit | commitdiff | tree | snapshot
2005-07-05 Stefano Zacchirolibumped license year commit | commitdiff | tree | snapshot
2005-07-05 Stefano Zacchirolinew getter implementation: no more DBM maps commit | commitdiff | tree | snapshot
2005-07-05 Stefano Zacchirolihandle Not_found exception in extension commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... notification of changes is now done only at the very... commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... icons added to the list of required symbolic links commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... make clean now prints what is being removed commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... default commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... "input" was meant to be "include" commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... New command default "foo" uri1 ... urin commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... New command default "foo" uri1 ... urin commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... pretty printing of URIs commit | commitdiff | tree | snapshot
2005-07-04 Enrico Tassiaded confirmation dialog for baseuri redefinement commit | commitdiff | tree | snapshot
2005-07-04 Enrico Tassimoo do not depend on .depend commit | commitdiff | tree | snapshot
2005-07-04 Enrico Tassicenter on parent now works for ask_confirmation dialog commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... All the tactics have been ported to use the objects... commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... include commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... Comestic changes. commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... coercions are now stored in the .moo file. commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... Cosmetic changes. commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... New function (only partially implemented) to pretty... commit | commitdiff | tree | snapshot
2005-07-04 Stefano Zacchiroliadded some utility functions on filename suffixes commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... Use eval_from_stream in place of eval_from_stream_ref... commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... include must not add aliases in the script! commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... "include" command implemented. commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... "include" command implemented. commit | commitdiff | tree | snapshot
2005-07-04 Enrico Tassimatitaclean splitted in matitacleanLib and matitaclean. commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... alias declarations are now put in the .moo file. commit | commitdiff | tree | snapshot
2005-07-04 Enrico Tassimatitaclean now call getter.ls using a buri with a... commit | commitdiff | tree | snapshot
2005-07-04 Claudio Sacerdoti... Improvements in matitatop: instead of doing exit -1... commit | commitdiff | tree | snapshot
2005-07-03 Claudio Sacerdoti... Equality tactics are now used in the first half of... commit | commitdiff | tree | snapshot
2005-07-02 Claudio Sacerdoti... The equality tactics are now exploited. commit | commitdiff | tree | snapshot
2005-07-02 Claudio Sacerdoti... All the equalityTactics have now been ported to use... commit | commitdiff | tree | snapshot
2005-07-02 Claudio Sacerdoti... New theorem: eq_ind_r. commit | commitdiff | tree | snapshot
2005-07-02 Claudio Sacerdoti... cosmetic change: a space removed (to make tests/Makefil... commit | commitdiff | tree | snapshot
2005-07-01 Alberto Griggiofixed bug in proof generation, new weight function... commit | commitdiff | tree | snapshot
2005-07-01 Enrico Tassimay fix the nigtly build commit | commitdiff | tree | snapshot
2005-07-01 Enrico Tassimore makefile work commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... make tests and make tests.opt now call their counterpar... commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... The tests are now in alphabetical order. commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... match.ma removed commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... * match.ma removed (it is now splitted in several files... commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... conflicting baseuri commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... matitaclean is necessary! commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... * makefile improved commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... new targets: commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... New argument: the cleaner. commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... make all is now nicer commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... Two targets now: commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... make MATITAC="../scripts/do_tests.sh ../matitac /dev... commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... Makefile improved commit | commitdiff | tree | snapshot
2005-07-01 Claudio Sacerdoti... The library of matita is borned! Long life to the libra... commit | commitdiff | tree | snapshot
2005-07-01 Enrico Tassima -> moo in dependencies commit | commitdiff | tree | snapshot
2005-07-01 Stefano Zacchirolimore logging information on received request commit | commitdiff | tree | snapshot
2005-07-01 Stefano Zacchiroliuses relative OCAMLPATH commit | commitdiff | tree | snapshot
2005-07-01 Enrico Tassinow maketests uses matitaclean (but not in the right... commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.