]> matita.cs.unibo.it Git - helm.git/history - helm/matita
1. Several files in grafite that should be in grafite_parser moved there.
[helm.git] / helm / matita /
2005-12-05 Claudio Sacerdoti... 1. Several files in grafite that should be in grafite_p...
2005-12-03 Claudio Sacerdoti... metadata are no longer stored in .moo files.
2005-12-02 Claudio Sacerdoti... 1. matitaEngine splitted into disambiguation (now in...
2005-11-30 Claudio Sacerdoti... moved coercions away (work in progress)
2005-11-30 Claudio Sacerdoti... Implicit aliases are now defined as all the aliases...
2005-11-30 Claudio Sacerdoti... nicer (but convertible) types
2005-11-30 Claudio Sacerdoti... * Undo fixed.
2005-11-30 Claudio Sacerdoti... Generation of auxiliary lemmas for inductive types...
2005-11-29 Claudio Sacerdoti... * Part of matita that used to deal with the library...
2005-11-28 Ferruccio Guidicoa continued
2005-11-28 Enrico Tassiadded comment
2005-11-28 Claudio Sacerdoti... DisambiguationError exceptions (that have locations...
2005-11-27 Stefano Zacchiroliremoved dead code (thanks to ocaml 3.09)
2005-11-26 Ferruccio Guidicoimplication (continued)
2005-11-26 Claudio Sacerdoti... Experimental localization of errors during refinement...
2005-11-26 Ferruccio Guidithe coimplication connective (start)
2005-11-25 Stefano ZacchiroliBug fixed: removal of .__log was not always attempted.
2005-11-25 Stefano Zacchiroliuse empty universe in the mono alias phases
2005-11-24 Stefano ZacchiroliReshaped structure of ocaml/ libraries, matita changed...
2005-11-24 Stefano Zacchiroliadded missing dependency
2005-11-23 Claudio Sacerdoti... New implementation for localized exceptions.
2005-11-23 Claudio Sacerdoti... ...
2005-11-22 Stefano Zacchirolibugfix: return unshared sequent when applying cic ...
2005-11-22 Claudio Sacerdoti... Error messages improved.
2005-11-22 Claudio Sacerdoti... Last details.
2005-11-21 Claudio Sacerdoti... Proof using function induction terminated. It's really...
2005-11-21 Claudio Sacerdoti... Lost of redundant typing hints removed from the functio...
2005-11-21 Claudio Sacerdoti... New proof based on an hand-made functional induction.
2005-11-21 Claudio Sacerdoti... Useful lemma added.
2005-11-21 Ferruccio Guidiinternal quantification fixed
2005-11-19 Ferruccio Guiditheorems about equality in classes
2005-11-19 Ferruccio Guidisome definitions about subsets
2005-11-19 Claudio Sacerdoti... Error messages improvement.
2005-11-19 Claudio Sacerdoti... Disambiguation errors are no longer thrown away. They...
2005-11-19 Ferruccio Guidisome renaming
2005-11-19 Claudio Sacerdoti... Coercions are now inserted also around the sources...
2005-11-18 Enrico Tassifix
2005-11-18 Enrico Tassifixed coercions undo
2005-11-18 Stefano Zacchiroliadded debug items for enabling/disabling pretty printin...
2005-11-18 Enrico Tassifix for coercions
2005-11-18 Claudio Sacerdoti... Incredible bug fixed: coercions were computed and then...
2005-11-17 Claudio Sacerdoti... New test for parallel rewriting in the hypotheses and...
2005-11-17 Claudio Sacerdoti... First draft implementation of rewriting in an hypothesis.
2005-11-17 Claudio Sacerdoti... tests and tests.opt targets greately simplified
2005-11-16 Ferruccio Guidipredicative subsets started
2005-11-16 Claudio Sacerdoti... dump_moo.opt
2005-11-16 Claudio Sacerdoti... do_test.sh no longer prints the compiler options (used...
2005-11-16 Claudio Sacerdoti... New framework for regression of bad tests.
2005-11-16 Ferruccio Guidiuniversal quantifier added
2005-11-16 Claudio Sacerdoti... The .depend must not be committed! Fixed.
2005-11-15 Claudio Sacerdoti... 1. handling of tests and tests.opt targets improved
2005-11-15 Claudio Sacerdoti... New directory for bad tests with checks on the error...
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).
next