]> matita.cs.unibo.it Git - helm.git/history - helm/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
better dependencies among modules and symlinking of several matitatools to a single...
[helm.git] / helm / matita /
2005-11-03 Stefano Zacchirolibetter dependencies among modules and symlinking of... tree | commitdiff
2005-11-03 Andrea AspertiEuler totient function is multiplicative! tree | commitdiff
2005-11-03 Claudio Sacerdoti... More exceptions pretty printed. tree | commitdiff
2005-11-02 Claudio Sacerdoti... Unfinished proof commented out. tree | commitdiff
2005-11-02 Claudio Sacerdoti... Proof of unicity of proofs for: tree | commitdiff
2005-11-02 Stefano Zacchirolienable static linking of executables (try "make static") tree | commitdiff
2005-11-02 Stefano Zacchirolirebuilt tree | commitdiff
2005-11-02 Stefano Zacchiroliadded gcc lib dir for enable static linking of libstdc++ tree | commitdiff
2005-11-02 Claudio Sacerdoti... Maybe this time we will be lucky. tree | commitdiff
2005-11-02 Enrico Tassi() around tactic terms tree | commitdiff
2005-11-02 Andrea AspertiTotient function and related files. tree | commitdiff
2005-11-02 Stefano Zacchirolimatita distribution stuff tree | commitdiff
2005-11-02 Enrico Tassifix tree | commitdiff
2005-10-31 Claudio Sacerdoti... Bugs fixed. tree | commitdiff
2005-10-29 Ferruccio GuidiAczel categories finished tree | commitdiff
2005-10-29 Claudio Sacerdoti... Bug fixed: the wrong mark was chosen for yesterday. tree | commitdiff
2005-10-28 Claudio Sacerdoti... Ported to multiple marks in the same day: today newest... tree | commitdiff
2005-10-28 Claudio Sacerdoti... New "global performances" bench (for native code). tree | commitdiff
2005-10-28 Claudio Sacerdoti... 1. syntax error fixed tree | commitdiff
2005-10-28 Claudio Sacerdoti... sql query fixed tree | commitdiff
2005-10-28 Claudio Sacerdoti... Better detection of spurious status lines. tree | commitdiff
2005-10-28 Claudio Sacerdoti... Mark fixed. tree | commitdiff
2005-10-28 Enrico Tassifix tree | commitdiff
2005-10-28 Enrico Tassifix tree | commitdiff
2005-10-28 Claudio Sacerdoti... New format for benches (with much more precision). tree | commitdiff
2005-10-28 Enrico Tassifix tree | commitdiff
2005-10-28 Enrico Tassifix tree | commitdiff
2005-10-27 Claudio Sacerdoti... ... tree | commitdiff
2005-10-25 Claudio Sacerdoti... Parentheses must now be put in patterns like in tactic... tree | commitdiff
2005-10-25 Claudio Sacerdoti... ProofEngineTypes.Fail printed correctly. tree | commitdiff
2005-10-25 Enrico Tassifixed -debug tree | commitdiff
2005-10-25 Stefano Zacchirolinew tacticals tree | commitdiff
2005-10-25 Stefano Zacchiroliported to new syntactic requirement about terms being... tree | commitdiff
2005-10-25 Claudio Sacerdoti... dump_moo added tree | commitdiff
2005-10-25 Claudio Sacerdoti... Every exception that used to have type string is now... tree | commitdiff
2005-10-25 Claudio Sacerdoti... ... tree | commitdiff
2005-10-25 Claudio Sacerdoti... t renamed to t' since t was already defined in the... tree | commitdiff
2005-10-18 Ferruccio Guididefinition of eq improved (?) parametrizing an argument tree | commitdiff
2005-10-17 Enrico Tassiadded coercions to Prod tree | commitdiff
2005-10-13 Ferruccio Guidimore comments added tree | commitdiff
2005-10-12 Ferruccio Guiditlt_defs: notation updated tree | commitdiff
2005-10-07 Stefano Zacchiroliadded -nodb support tree | commitdiff
2005-10-07 Stefano Zacchiroliadded support for MATITA_FLAGS and NODB make variables tree | commitdiff
2005-10-06 Claudio Sacerdoti... NODB implemented tree | commitdiff
2005-10-06 Stefano Zacchirolibugfix: avoid diversion in "make opt" tree | commitdiff
2005-10-05 Stefano Zacchirolicompleted support for "-nodb", now also matitaclean... tree | commitdiff
2005-10-05 Stefano Zacchiroliremoved debug saving of "foo.conf.xml" tree | commitdiff
2005-10-05 Stefano Zacchiroli- added support for "-nodb" flag (still missing support... tree | commitdiff
2005-10-05 Stefano Zacchiroliseparated "]]" to avoid clash with (temporary) continua... tree | commitdiff
2005-10-05 Stefano Zacchiroliadded MATITA_FLAGS support tree | commitdiff
2005-10-05 Claudio Sacerdoti... ... tree | commitdiff
2005-10-03 Andrea AspertiAdded congruence.ma. tree | commitdiff
2005-10-03 Andrea AspertiSeveral changes. Proof of Fermat's little theorem compl... tree | commitdiff
2005-09-29 Stefano Zacchirolimoved a (commented) test in a handier position tree | commitdiff
2005-09-29 Claudio Sacerdoti... ... tree | commitdiff
2005-09-28 Andrea AspertiNew entry: relevant_equations. tree | commitdiff
2005-09-28 Stefano Zacchirolispotted missing times notation tree | commitdiff
2005-09-27 Stefano Zacchirolifixed some english typos tree | commitdiff
2005-09-27 Andrea Aspertismall error in nth_prime. tree | commitdiff
2005-09-27 Andrea AspertiNew entry: fermat's little theorem (almost complete). tree | commitdiff
2005-09-27 Stefano Zacchirolimoved list_uniq to the extlib tree | commitdiff
2005-09-27 Stefano Zacchiroliadded support for multiple idrefs tree | commitdiff
2005-09-27 Stefano Zacchirolicompleted use of \mod and / notation tree | commitdiff
2005-09-26 Claudio Sacerdoti... ... tree | commitdiff
2005-09-26 Claudio Sacerdoti... coq.moo is now automatically generated. New targets: tree | commitdiff
2005-09-26 Enrico Tassifix WE HAVE NO UNIVERSE tree | commitdiff
2005-09-26 Enrico Tassi./matitaclean all removes all tree | commitdiff
2005-09-26 Stefano Zacchiroliif a node has an xref use it for cut and paste, no... tree | commitdiff
2005-09-26 Claudio Sacerdoti... coq.moo is now automatically generated tree | commitdiff
2005-09-26 Stefano Zacchirolifunction composition notation tree | commitdiff
2005-09-26 Claudio Sacerdoti... Coq's existential fixed. tree | commitdiff
2005-09-26 Stefano Zacchirolidiv and mod notation ('%' and '\mod') tree | commitdiff
2005-09-26 Claudio Sacerdoti... matitatop.opt should not be generated tree | commitdiff
2005-09-26 Claudio Sacerdoti... Unification enhanchement. tree | commitdiff
2005-09-26 Alberto Griggionew signature of auto_tac, with a new optional argument... tree | commitdiff
2005-09-26 Stefano Zacchiroliadded binary version of coq.moo and the corresponding... tree | commitdiff
2005-09-26 Stefano Zacchiroliremoved textual version of coq's moo file tree | commitdiff
2005-09-26 Enrico TassiMatitacleanLib.remove_baseuris will remove empty direct... tree | commitdiff
2005-09-26 Andrea Aspertipermutation.ma added to the repository. tree | commitdiff
2005-09-26 Stefano Zacchirolichanged default divide notation to a/b tree | commitdiff
2005-09-26 Stefano Zacchiroli- added integrity checks on .moo files tree | commitdiff
2005-09-26 Stefano Zacchirolibetter name for a theorem tree | commitdiff
2005-09-23 Claudio Sacerdoti... New module HMysql (to abstract over Mysql and make... tree | commitdiff
2005-09-23 Stefano Zacchirolichanged .moo format on disk: no longer plain strings... tree | commitdiff
2005-09-23 Claudio Sacerdoti... CicUtil.profile ==> HExtlib.profile tree | commitdiff
2005-09-23 Stefano Zacchirolibugfix: evaluation of object commands is now atomic... tree | commitdiff
2005-09-23 Stefano Zacchiroli"verbose" argument of remove is now optional (default... tree | commitdiff
2005-09-23 Claudio Sacerdoti... Less feedback during removal of objects. tree | commitdiff
2005-09-23 Claudio Sacerdoti... ... tree | commitdiff
2005-09-23 Claudio Sacerdoti... Too many OPTIMIZE TABLES (because of a very stupid... tree | commitdiff
2005-09-23 Claudio Sacerdoti... save_object_to_disk profiler fixed tree | commitdiff
2005-09-23 Enrico Tassifix tree | commitdiff
2005-09-23 Enrico Tassiuniverses are saved to disk tree | commitdiff
2005-09-23 Claudio Sacerdoti... The disambiguation now returns the aliases diff. It... tree | commitdiff
2005-09-23 Stefano Zacchirolibugfix for uminus notation, prints parens where needed tree | commitdiff
2005-09-23 Andrea Aspertilog.ma renamed into ord.ma tree | commitdiff
2005-09-23 Claudio Sacerdoti... The new_aliases argument of the functions alias_diff... tree | commitdiff
2005-09-23 Andrea AspertiA few changes to factorization and gcd. tree | commitdiff
2005-09-22 Claudio Sacerdoti... More notation here and there. tree | commitdiff
2005-09-22 Claudio Sacerdoti... More notation here and there: \sup, \divides, \ndivides, ! tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.