]> matita.cs.unibo.it Git - helm.git/history - helm/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ocaml 3.09 transition
[helm.git] / helm / matita /
2005-11-22 Stefano Zacchirolibugfix: return unshared sequent when applying cic ... tree | commitdiff
2005-11-22 Claudio Sacerdoti... Error messages improved. tree | commitdiff
2005-11-22 Claudio Sacerdoti... Last details. tree | commitdiff
2005-11-21 Claudio Sacerdoti... Proof using function induction terminated. It's really... tree | commitdiff
2005-11-21 Claudio Sacerdoti... Lost of redundant typing hints removed from the functio... tree | commitdiff
2005-11-21 Claudio Sacerdoti... New proof based on an hand-made functional induction. tree | commitdiff
2005-11-21 Claudio Sacerdoti... Useful lemma added. tree | commitdiff
2005-11-21 Ferruccio Guidiinternal quantification fixed tree | commitdiff
2005-11-19 Ferruccio Guiditheorems about equality in classes tree | commitdiff
2005-11-19 Ferruccio Guidisome definitions about subsets tree | commitdiff
2005-11-19 Claudio Sacerdoti... Error messages improvement. tree | commitdiff
2005-11-19 Claudio Sacerdoti... Disambiguation errors are no longer thrown away. They... tree | commitdiff
2005-11-19 Ferruccio Guidisome renaming tree | commitdiff
2005-11-19 Claudio Sacerdoti... Coercions are now inserted also around the sources... tree | commitdiff
2005-11-18 Enrico Tassifix tree | commitdiff
2005-11-18 Enrico Tassifixed coercions undo tree | commitdiff
2005-11-18 Stefano Zacchiroliadded debug items for enabling/disabling pretty printin... tree | commitdiff
2005-11-18 Enrico Tassifix for coercions tree | commitdiff
2005-11-18 Claudio Sacerdoti... Incredible bug fixed: coercions were computed and then... tree | commitdiff
2005-11-17 Claudio Sacerdoti... New test for parallel rewriting in the hypotheses and... tree | commitdiff
2005-11-17 Claudio Sacerdoti... First draft implementation of rewriting in an hypothesis. tree | commitdiff
2005-11-17 Claudio Sacerdoti... tests and tests.opt targets greately simplified tree | commitdiff
2005-11-16 Ferruccio Guidipredicative subsets started tree | commitdiff
2005-11-16 Claudio Sacerdoti... dump_moo.opt tree | commitdiff
2005-11-16 Claudio Sacerdoti... do_test.sh no longer prints the compiler options (used... tree | commitdiff
2005-11-16 Claudio Sacerdoti... New framework for regression of bad tests. tree | commitdiff
2005-11-16 Ferruccio Guidiuniversal quantifier added tree | commitdiff
2005-11-16 Claudio Sacerdoti... The .depend must not be committed! Fixed. tree | commitdiff
2005-11-15 Claudio Sacerdoti... 1. handling of tests and tests.opt targets improved tree | commitdiff
2005-11-15 Claudio Sacerdoti... New directory for bad tests with checks on the error... tree | commitdiff
2005-11-15 Claudio Sacerdoti... ... tree | commitdiff
2005-11-14 Ferruccio Guidicontribs/PREDICATIVE-TOPOLOGY added as test directory tree | commitdiff
2005-11-14 Stefano Zacchirolibugfix, use database name tree | commitdiff
2005-11-14 Stefano Zacchirolifirst draft of db filling script tree | commitdiff
2005-11-08 Claudio Sacerdoti... Yet another semantics for simplify. tree | commitdiff
2005-11-08 Claudio Sacerdoti... CicTypeChecker.AssertFailure now printed. tree | commitdiff
2005-11-08 Claudio Sacerdoti... New syntax for the outtype of a match. tree | commitdiff
2005-11-07 Claudio Sacerdoti... Syntactic change: tree | commitdiff
2005-11-07 Stefano Zacchirolichanged script actions keybindings: s/CTRL-XXX/CTRL... tree | commitdiff
2005-11-07 Stefano Zacchirolibugfix: no longer raise End_of_file for scripts ending... tree | commitdiff
2005-11-07 Stefano Zacchirolilist sorting (to be completed ...) tree | commitdiff
2005-11-07 Stefano Zacchiroliadded tail function tree | commitdiff
2005-11-07 Stefano Zacchiroliadded bool_elim (elimination which preserves infos... tree | commitdiff
2005-11-04 Enrico Tassisince the outtype is now refined correclty some types... tree | commitdiff
2005-11-04 Claudio Sacerdoti... matita*.opt are now considered as if they were matita* tree | commitdiff
2005-11-04 Enrico Tassimake profiler silent tree | commitdiff
2005-11-04 Stefano Zacchiroliadded support for ALT-L expansion of tex macros tree | commitdiff
2005-11-04 Stefano Zacchiroliadded support for expansion of ligatures ALT-L will... tree | commitdiff
2005-11-04 Stefano Zacchiroliavoid losing work on CTRL-N tree | commitdiff
2005-11-04 Stefano Zacchirolifixed typo tree | commitdiff
2005-11-04 Stefano Zacchirolimore structured makefile tree | commitdiff
2005-11-04 Stefano Zacchiroli"towards a distribution of matita" changes: tree | commitdiff
2005-11-03 Stefano Zacchirolimissing mlis tree | commitdiff
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
next
Unnamed repository; edit this file 'description' to name the repository.