]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2005-11-03 Andrea AspertiEuler totient function is multiplicative!
2005-11-03 Claudio Sacerdoti... More exceptions pretty printed.
2005-11-03 Claudio Sacerdoti... Major code semplification in check_allowed_sort_elimina...
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... 1. Parameter enable (default true) added to HExtlib...
2005-10-27 Claudio Sacerdoti... ...
2005-10-27 Stefano Zacchirolityping errors
2005-10-26 Stefano Zacchiroliadded constraing on non-empty context for tactic applic...
2005-10-26 Stefano Zacchiroliimproved Makefile
2005-10-26 Claudio Sacerdoti... Dead code removed.
2005-10-25 Claudio Sacerdoti... Parentheses must now be put in patterns like in tactic...
2005-10-25 Claudio Sacerdoti... Semantic change: applying a tactic to the empty goal...
2005-10-25 Claudio Sacerdoti... Syntax change:
2005-10-25 Claudio Sacerdoti... ProofEngineTypes.Fail printed correctly.
2005-10-25 Enrico Tassifixed -debug
2005-10-25 Enrico Tassimoved the expansion of implicits inside the refiner...
2005-10-25 Enrico Tassifixed lapply on new tinycals semantic
2005-10-25 Stefano Zacchirolifixed some type error
2005-10-25 Andrea Aspertiexperimental version
2005-10-25 Stefano Zacchirolinew tacticals
2005-10-25 Stefano Zacchiroliported to new syntactic requirement about terms being...
2005-10-25 Stefano Zacchiroliadded iter_option
2005-10-25 Stefano Zacchiroli"better" (????) identification of assertion failures
2005-10-25 Claudio Sacerdoti... Debugging code turned off.
2005-10-25 Claudio Sacerdoti... dump_moo added
2005-10-25 Claudio Sacerdoti... * More profiling code
2005-10-25 Claudio Sacerdoti... Every exception that used to have type string is now...
2005-10-25 Claudio Sacerdoti... ...
2005-10-25 Andrea Aspertireadme file
2005-10-25 Claudio Sacerdoti... ~subst fixed everywhere in the type-checker:
2005-10-25 Claudio Sacerdoti... t renamed to t' since t was already defined in the...
2005-10-25 Claudio Sacerdoti... Bug fixed: the current substitution and metasenv were...
2005-10-24 Stefano Zacchirolinew semantics, should be the basis for the (re-)impleme...
2005-10-24 Andrea AspertiMinor fixings.
2005-10-24 Andrea AspertiTentative title.
2005-10-19 Andrea AspertiCorrected a mistake in power_upto, and decreased the...
2005-10-18 Ferruccio Guididefinition of eq improved (?) parametrizing an argument
2005-10-17 Enrico Tassiadded coercions to Prod
2005-10-17 Alberto Griggioadded some comments; general code cleanup
2005-10-17 Andrea AspertiAdded basic bibliography.
2005-10-13 Ferruccio Guidimore comments added
2005-10-13 Enrico Tassiadded few proofs
2005-10-12 Alberto Griggiofixed a couple of bugs that broke tests...
2005-10-12 Enrico Tassifew more cases
2005-10-12 Ferruccio Guiditlt_defs: notation updated
2005-10-11 Enrico Tassiadded few cases
2005-10-11 Alberto Griggiofixed bugs in Indexing.find_matches and Saturation...
2005-10-11 Enrico Tassifixed some typos
2005-10-11 Stefano Zacchiroliadded goals_of_proof
2005-10-11 Andrea Aspertirealizability for the induction principle.
2005-10-11 Stefano Zacchiroliadded list_concat
2005-10-10 Stefano Zacchiroliadded level2 <-> level3 transformations
2005-10-10 Alberto Griggiofixed a bug (status not reset properly between calls...
2005-10-10 Andrea AspertiFirst draft.
2005-10-10 Andrea AspertiEmpty directory.
2005-10-10 Stefano Zacchiroli- added stack frame tagging
2005-10-09 Claudio Sacerdoti... More informative exceptions raised.
2005-10-07 Stefano Zacchiroliadded -nodb support
2005-10-07 Stefano Zacchiroliadded support for MATITA_FLAGS and NODB make variables
2005-10-06 Stefano Zacchirolichanged functor interface, now based on proofs instead...
2005-10-06 Claudio Sacerdoti... NODB implemented
2005-10-06 Stefano Zacchiroliignore usual *tex crap
2005-10-06 Stefano Zacchiroliadded Makefile
2005-10-06 Stefano Zacchirolicompleted instantiatian of level 2 patterns from level 1
2005-10-06 Stefano Zacchirolibugfix: avoid diversion in "make opt"
2005-10-06 Stefano Zacchiroli- better naming
2005-10-06 Stefano Zacchirolifirst check in of continuationals implementation
2005-10-06 Stefano Zacchiroliin the end: ... proper handling of multiple bindings...
2005-10-06 Stefano Zacchirolibugfix: multiple bindings of the same key work again
2005-10-05 Stefano Zacchirolicompleted support for "-nodb", now also matitaclean...
2005-10-05 Stefano Zacchirolis/commands_of_domain_and_codomain_items_list/aliases_of...
2005-10-05 Stefano Zacchiroliadded metadata "commands"
2005-10-05 Stefano Zacchiroliuncommented find_cic_appl_pattern_uris
2005-10-05 Stefano Zacchiroliadded find
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...
next