]> matita.cs.unibo.it Git - helm.git/history - helm
- towards completion of the disambiguation section
[helm.git] / helm /
2006-01-23 Stefano Zacchiroli- towards completion of the disambiguation section
2006-01-23 Stefano Zacchiroli- use "sec:libmanagement" as label for compilation...
2006-01-22 Enrico Tassiadded proof of SN for T+ind
2006-01-22 Enrico Tassidraft of compilation/decompilatio
2006-01-20 Claudio Sacerdoti... Yet another strategy for let...ins: a let-in is _NEVER_...
2006-01-20 Andrea Aspertirestructuring
2006-01-20 Andrea AspertiImproved rendering of conjectures
2006-01-20 Stefano Zacchirolimore structured and indented version of nat.ma
2006-01-20 Stefano Zacchirolibugfix: when looking for a goal from the continuational...
2006-01-20 Stefano Zacchiroliadded a smaller version of the icon
2006-01-20 Andrea AspertiAdded header to all files.
2006-01-20 Andrea AspertiAdded header
2006-01-20 Andrea Aspertilooks fine to me
2006-01-20 Stefano Zacchiroli- moved section in place according to new organization
2006-01-20 Andrea Aspertinew version
2006-01-20 Andrea Asperti(no commit message)
2006-01-20 Andrea AspertiMatita header
2006-01-20 Andrea Aspertifont -1
2006-01-20 Andrea AspertiUpdated version
2006-01-19 Claudio Sacerdoti... New reduction strategy (that behaves much better during...
2006-01-19 Claudio Sacerdoti... 1. Back to nicer (and more comprehensible) notation...
2006-01-19 Claudio Sacerdoti... "Hiding" notation for implicit coercion. Cool.
2006-01-19 Andrea AspertiSome work...
2006-01-19 Claudio Sacerdoti... A few experiments (with horrible results) using notation...
2006-01-18 Claudio Sacerdoti... Aggiornato alla nuova gerarchia di moduli.
2006-01-18 Enrico Tassidebug prints commented
2006-01-18 Enrico Tassisome debug prints/stats
2006-01-18 Claudio Sacerdoti... library ==> component
2006-01-18 Claudio Sacerdoti... paramodulation is no longer a self-alone module
2006-01-18 Claudio Sacerdoti... baseuri of coq.ma fixed
2006-01-18 Claudio Sacerdoti... libraries.ps no longer in synch.
2006-01-18 Claudio Sacerdoti... New dependencies!
2006-01-18 Enrico TassiUniverses speedup:
2006-01-18 Enrico Tassifast hack to fix decompilation with -nodb with the...
2006-01-18 Stefano Zacchirolichanged universes merging order: euristic which improve...
2006-01-17 Claudio Sacerdoti... Bug fixed (in Cast).
2006-01-17 Claudio Sacerdoti... An embryonic kernel of the algebraic library.
2006-01-17 Claudio Sacerdoti... subst_vars optimized for the explicit_named_subst=...
2006-01-16 Claudio Sacerdoti... Dead code removed and reindentation.
2006-01-16 Claudio Sacerdoti... (Partial commit)
2006-01-16 Claudio Sacerdoti... Bug fixed: the wrong context was used.
2006-01-16 Claudio Sacerdoti... Dead code removed.
2006-01-16 Stefano Zacchirolibugfix for missing parens: when the precedence does...
2006-01-16 Andrea AspertiAdded recursive path ordering and demodulation tactic.
2006-01-13 Claudio Sacerdoti... More informative error message.
2006-01-12 Enrico Tassifixed coercions undoooing
2006-01-12 Enrico Tassifixed
2006-01-12 Enrico Tassifix
2006-01-12 Enrico Tassifixed compilation order
2006-01-12 Enrico Tassifixes for paramodulation relocation
2006-01-12 Enrico Tassifixed paramodulation trnsition
2006-01-12 Andrea AspertiRemoved calls to paramodulation.saturation.init
2006-01-12 Andrea AspertiMoved paramodulation inside tactics.
2006-01-12 Claudio Sacerdoti... ignore used to avoid Y warning
2006-01-12 Claudio Sacerdoti... Dependency coq.moo.opt added to target tests.opt
2006-01-12 Claudio Sacerdoti... Dead code removed.
2006-01-12 Claudio Sacerdoti... Dead code removed.
2006-01-11 Enrico Tassimah...
2006-01-11 Enrico Tassifix
2006-01-11 Enrico TassiAdded $SVNOPTION.
2006-01-11 Claudio Sacerdoti... svn now uses $SVNOPTIONS;
2006-01-11 Claudio Sacerdoti... New table bench_svn to keep the map "mark"==>"revision"
2006-01-11 Claudio Sacerdoti... Hand-made generated inversion lemma.
2006-01-11 marangonCode clean up.
2006-01-10 Ferruccio Guidicle introduced; ceq fixed
2006-01-10 Stefano Zacchiroliadded $Id$
2006-01-10 Claudio Sacerdoti... Dead code removed.
2006-01-10 Claudio Sacerdoti... Dead code removed.
2006-01-10 Claudio Sacerdoti... Dead code removed.
2006-01-10 Claudio Sacerdoti... Dead code removed.
2006-01-10 Claudio Sacerdoti... Warning Y fixed.
2006-01-10 Claudio Sacerdoti... Dead code removed.
2006-01-10 Claudio Sacerdoti... Dead code removed.
2006-01-10 Enrico TassiLIMIT 0,-1 no more valid --> removed
2006-01-09 Claudio Sacerdoti... paramodulation now compiles with ocaml 3.09 in opt...
2006-01-09 Claudio Sacerdoti... The proofContext method now returns the empty context...
2006-01-09 Claudio Sacerdoti... Bug fixed in computation of the domain of records with...
2006-01-09 Stefano Zacchirolichanges location of coq.ma (now "legacy/coq.ma")
2006-01-09 Stefano Zacchirolimatita standard library is an include path per default
2006-01-09 Stefano Zacchirolirebuilt
2006-01-09 Stefano Zacchirolicoq repository is legacy
2006-01-09 Stefano Zacchiroliadded stdlib_dir entry
2006-01-09 Stefano Zacchiroliadded buildTimeConf interface
2006-01-09 Stefano Zacchirolimoved coq.ma to library/legacy/
2006-01-09 Stefano Zacchiroli- new location for coq.ma
2006-01-09 Stefano Zacchirolido not generate deps for legacy URIs
2006-01-09 Stefano Zacchiroliavoid writing in read only baseuris
2006-01-09 Stefano Zacchirolibumped year
2006-01-09 Stefano Zacchiroliadded support for repository attributes
2006-01-09 Stefano Zacchiroliadded sample entries with attributes
2006-01-09 Andrea AspertiOld compare-terms function
2006-01-09 Andrea Aspertiremoved debugging printing
2006-01-09 Stefano Zacchiroliadded cleaning of .lexicon and .metadata files
2006-01-09 Andrea Aspertiignoring the result of load_notation
2006-01-09 Claudio Sacerdoti... Bux fixed: matita did not save the .lexicon files!...
2006-01-09 Claudio Sacerdoti... $Id$ readded to paramodulation/utils.ml
2006-01-09 Andrea AspertiAdded a parameter (empty list) to load_notation.
2006-01-09 Enrico Tassiadded again the bin files
2006-01-09 Enrico Tassimoved away broken files
2006-01-09 Andrea AspertiNew version of compare_weights.
next