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