]> matita.cs.unibo.it Git - helm.git/history - helm/matita
...
[helm.git] / helm / matita /
2005-11-15 Claudio Sacerdoti... ...
2005-11-14 Ferruccio Guidicontribs/PREDICATIVE-TOPOLOGY added as test directory
2005-11-14 Stefano Zacchirolibugfix, use database name
2005-11-14 Stefano Zacchirolifirst draft of db filling script
2005-11-08 Claudio Sacerdoti... Yet another semantics for simplify.
2005-11-08 Claudio Sacerdoti... CicTypeChecker.AssertFailure now printed.
2005-11-08 Claudio Sacerdoti... New syntax for the outtype of a match.
2005-11-07 Claudio Sacerdoti... Syntactic change:
2005-11-07 Stefano Zacchirolichanged script actions keybindings: s/CTRL-XXX/CTRL...
2005-11-07 Stefano Zacchirolibugfix: no longer raise End_of_file for scripts ending...
2005-11-07 Stefano Zacchirolilist sorting (to be completed ...)
2005-11-07 Stefano Zacchiroliadded tail function
2005-11-07 Stefano Zacchiroliadded bool_elim (elimination which preserves infos...
2005-11-04 Enrico Tassisince the outtype is now refined correclty some types...
2005-11-04 Claudio Sacerdoti... matita*.opt are now considered as if they were matita*
2005-11-04 Enrico Tassimake profiler silent
2005-11-04 Stefano Zacchiroliadded support for ALT-L expansion of tex macros
2005-11-04 Stefano Zacchiroliadded support for expansion of ligatures ALT-L will...
2005-11-04 Stefano Zacchiroliavoid losing work on CTRL-N
2005-11-04 Stefano Zacchirolifixed typo
2005-11-04 Stefano Zacchirolimore structured makefile
2005-11-04 Stefano Zacchiroli"towards a distribution of matita" changes:
2005-11-03 Stefano Zacchirolimissing mlis
2005-11-03 Stefano Zacchirolibetter dependencies among modules and symlinking of...
2005-11-03 Andrea AspertiEuler totient function is multiplicative!
2005-11-03 Claudio Sacerdoti... More exceptions pretty printed.
2005-11-02 Claudio Sacerdoti... Unfinished proof commented out.
2005-11-02 Claudio Sacerdoti... Proof of unicity of proofs for:
2005-11-02 Stefano Zacchirolienable static linking of executables (try "make static")
2005-11-02 Stefano Zacchirolirebuilt
2005-11-02 Stefano Zacchiroliadded gcc lib dir for enable static linking of libstdc++
2005-11-02 Claudio Sacerdoti... Maybe this time we will be lucky.
2005-11-02 Enrico Tassi() around tactic terms
2005-11-02 Andrea AspertiTotient function and related files.
2005-11-02 Stefano Zacchirolimatita distribution stuff
2005-11-02 Enrico Tassifix
2005-10-31 Claudio Sacerdoti... Bugs fixed.
2005-10-29 Ferruccio GuidiAczel categories finished
2005-10-29 Claudio Sacerdoti... Bug fixed: the wrong mark was chosen for yesterday.
2005-10-28 Claudio Sacerdoti... Ported to multiple marks in the same day: today newest...
2005-10-28 Claudio Sacerdoti... New "global performances" bench (for native code).
2005-10-28 Claudio Sacerdoti... 1. syntax error fixed
2005-10-28 Claudio Sacerdoti... sql query fixed
2005-10-28 Claudio Sacerdoti... Better detection of spurious status lines.
2005-10-28 Claudio Sacerdoti... Mark fixed.
2005-10-28 Enrico Tassifix
2005-10-28 Enrico Tassifix
2005-10-28 Claudio Sacerdoti... New format for benches (with much more precision).
2005-10-28 Enrico Tassifix
2005-10-28 Enrico Tassifix
2005-10-27 Claudio Sacerdoti... ...
2005-10-25 Claudio Sacerdoti... Parentheses must now be put in patterns like in tactic...
2005-10-25 Claudio Sacerdoti... ProofEngineTypes.Fail printed correctly.
2005-10-25 Enrico Tassifixed -debug
2005-10-25 Stefano Zacchirolinew tacticals
2005-10-25 Stefano Zacchiroliported to new syntactic requirement about terms being...
2005-10-25 Claudio Sacerdoti... dump_moo added
2005-10-25 Claudio Sacerdoti... Every exception that used to have type string is now...
2005-10-25 Claudio Sacerdoti... ...
2005-10-25 Claudio Sacerdoti... t renamed to t' since t was already defined in the...
2005-10-18 Ferruccio Guididefinition of eq improved (?) parametrizing an argument
2005-10-17 Enrico Tassiadded coercions to Prod
2005-10-13 Ferruccio Guidimore comments added
2005-10-12 Ferruccio Guiditlt_defs: notation updated
2005-10-07 Stefano Zacchiroliadded -nodb support
2005-10-07 Stefano Zacchiroliadded support for MATITA_FLAGS and NODB make variables
2005-10-06 Claudio Sacerdoti... NODB implemented
2005-10-06 Stefano Zacchirolibugfix: avoid diversion in "make opt"
2005-10-05 Stefano Zacchirolicompleted support for "-nodb", now also matitaclean...
2005-10-05 Stefano Zacchiroliremoved debug saving of "foo.conf.xml"
2005-10-05 Stefano Zacchiroli- added support for "-nodb" flag (still missing support...
2005-10-05 Stefano Zacchiroliseparated "]]" to avoid clash with (temporary) continua...
2005-10-05 Stefano Zacchiroliadded MATITA_FLAGS support
2005-10-05 Claudio Sacerdoti... ...
2005-10-03 Andrea AspertiAdded congruence.ma.
2005-10-03 Andrea AspertiSeveral changes. Proof of Fermat's little theorem compl...
2005-09-29 Stefano Zacchirolimoved a (commented) test in a handier position
2005-09-29 Claudio Sacerdoti... ...
2005-09-28 Andrea AspertiNew entry: relevant_equations.
2005-09-28 Stefano Zacchirolispotted missing times notation
2005-09-27 Stefano Zacchirolifixed some english typos
2005-09-27 Andrea Aspertismall error in nth_prime.
2005-09-27 Andrea AspertiNew entry: fermat's little theorem (almost complete).
2005-09-27 Stefano Zacchirolimoved list_uniq to the extlib
2005-09-27 Stefano Zacchiroliadded support for multiple idrefs
2005-09-27 Stefano Zacchirolicompleted use of \mod and / notation
2005-09-26 Claudio Sacerdoti... ...
2005-09-26 Claudio Sacerdoti... coq.moo is now automatically generated. New targets:
2005-09-26 Enrico Tassifix WE HAVE NO UNIVERSE
2005-09-26 Enrico Tassi./matitaclean all removes all
2005-09-26 Stefano Zacchiroliif a node has an xref use it for cut and paste, no...
2005-09-26 Claudio Sacerdoti... coq.moo is now automatically generated
2005-09-26 Stefano Zacchirolifunction composition notation
2005-09-26 Claudio Sacerdoti... Coq's existential fixed.
2005-09-26 Stefano Zacchirolidiv and mod notation ('%' and '\mod')
2005-09-26 Claudio Sacerdoti... matitatop.opt should not be generated
2005-09-26 Claudio Sacerdoti... Unification enhanchement.
2005-09-26 Alberto Griggionew signature of auto_tac, with a new optional argument...
2005-09-26 Stefano Zacchiroliadded binary version of coq.moo and the corresponding...
2005-09-26 Stefano Zacchiroliremoved textual version of coq's moo file
next