projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2011-11-24 Enrico Tassifixed DESTDIR commit | commitdiff | tree | snapshot
2011-11-24 Enrico Tassifixed DESTDIR commit | commitdiff | tree | snapshot
2011-11-22 Claudio Sacerdoti... Changes to disambiguation: commit | commitdiff | tree | snapshot
2011-11-21 Ferruccio GuidiBasic_2 file names update commit | commitdiff | tree | snapshot
2011-11-21 Claudio Sacerdoti... Syntax change: change where what => change what where. commit | commitdiff | tree | snapshot
2011-11-21 Andrea Aspertiregular expressions commit | commitdiff | tree | snapshot
2011-11-21 Andrea AspertiFiltering all equations that cannot be embedded (contai... commit | commitdiff | tree | snapshot
2011-11-21 Andrea AspertiPassing the correct subst a metasenv when idexing local... commit | commitdiff | tree | snapshot
2011-11-21 Andrea AspertiPassing the right subst and metasenv when indexing... commit | commitdiff | tree | snapshot
2011-11-21 Andrea AspertiAdded a test for paramodulation filtering terms with... commit | commitdiff | tree | snapshot
2011-11-21 Andrea AspertiMore debugging info commit | commitdiff | tree | snapshot
2011-11-21 Andrea AspertiAssert false removed (in line with the variable case). commit | commitdiff | tree | snapshot
2011-11-21 Claudio Sacerdoti... {pattern} => in pattern; commit | commitdiff | tree | snapshot
2011-11-21 Claudio Sacerdoti... {pattern} => in pattern; commit | commitdiff | tree | snapshot
2011-11-21 Andrea AspertiTypo in comment commit | commitdiff | tree | snapshot
2011-11-18 Enrico Tassihints commit | commitdiff | tree | snapshot
2011-11-18 Enrico Tassicoercions commit | commitdiff | tree | snapshot
2011-11-18 Wilmer RicciottiSolves a bug that caused the auto statistics to refer... commit | commitdiff | tree | snapshot
2011-11-18 Wilmer RicciottiAdded help for discriminator and inverter. commit | commitdiff | tree | snapshot
2011-11-18 Enrico Tassishort notation for "coercion" commit | commitdiff | tree | snapshot
2011-11-18 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2011-11-18 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2011-11-18 Enrico Tassiminor Makefile fixes for the release commit | commitdiff | tree | snapshot
2011-11-18 Claudio Sacerdoti... Auto parameters documented for 0.99.1. commit | commitdiff | tree | snapshot
2011-11-18 Claudio Sacerdoti... No longer used parameters of auto removed. commit | commitdiff | tree | snapshot
2011-11-18 Claudio Sacerdoti... The macro /by _/ now expands again to something parsable. commit | commitdiff | tree | snapshot
2011-11-18 Claudio Sacerdoti... /by {}/ ==> /by/ commit | commitdiff | tree | snapshot
2011-11-18 Claudio Sacerdoti... For release 0.99.1. commit | commitdiff | tree | snapshot
2011-11-18 Claudio Sacerdoti... * Almost ready for release 0.99.1. commit | commitdiff | tree | snapshot
2011-11-18 Ferruccio Guidisupport for candidates of reducibility started ... commit | commitdiff | tree | snapshot
2011-11-18 Claudio Sacerdoti... intros macro fixed commit | commitdiff | tree | snapshot
2011-11-17 Enrico Tassicollapse applications with a Match as head while indexing commit | commitdiff | tree | snapshot
2011-11-17 Enrico Tassicollapse applications with a Match as head while indexing commit | commitdiff | tree | snapshot
2011-11-17 Claudio Sacerdoti... Towards 0.95.1. commit | commitdiff | tree | snapshot
2011-11-17 Claudio Sacerdoti... Towards the 0.95.1 release. commit | commitdiff | tree | snapshot
2011-11-17 Claudio Sacerdoti... In preparation of 0.95.1 release. commit | commitdiff | tree | snapshot
2011-11-16 Ferruccio Guidi- lambda_delta: context-free weak head normal forms... commit | commitdiff | tree | snapshot
2011-11-16 Claudio Sacerdoti... Non working parts of the library commented out. commit | commitdiff | tree | snapshot
2011-11-16 Claudio Sacerdoti... Never ported to new syntax. commit | commitdiff | tree | snapshot
2011-11-16 Andrea Aspertiinversion replaced by elim (???) commit | commitdiff | tree | snapshot
2011-11-16 Ferruccio Guidisupport for weak head normal forms started ... commit | commitdiff | tree | snapshot
2011-11-16 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-11-16 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-11-16 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-11-16 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-11-15 matitawebFixes a bug in NnAuto: printing the statistics triggere... commit | commitdiff | tree | snapshot
2011-11-15 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-11-15 matitawebMatitaweb: Fixed typo which caused the compilation... commit | commitdiff | tree | snapshot
2011-11-15 Wilmer RicciottiMatitaweb: goto bottom can now be undone step by step... commit | commitdiff | tree | snapshot
2011-11-15 Andrea Aspertinon-facts local candidates must be applied too in prese... commit | commitdiff | tree | snapshot
2011-11-15 Andrea Aspertinon-facts local candidates must be applied too in prese... commit | commitdiff | tree | snapshot
2011-11-14 Ferruccio Guidifile names and description update commit | commitdiff | tree | snapshot
2011-11-14 Ferruccio Guidi- we proved that context-free reduction admits no one... commit | commitdiff | tree | snapshot
2011-11-14 Wilmer RicciottiBug fix in inversion: commit | commitdiff | tree | snapshot
2011-11-14 Andrea AspertiAssert false is no longer true due to tooflex filtering. commit | commitdiff | tree | snapshot
2011-11-14 Wilmer RicciottiAdded dependent inversion (default case for jmeq) commit | commitdiff | tree | snapshot
2011-11-14 Andrea AspertiToo flexible terms are pruned. commit | commitdiff | tree | snapshot
2011-11-11 matitawebcommit by user utente1 commit | commitdiff | tree | snapshot
2011-11-11 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-11-09 matitawebMatitaweb: fixes compilation errors and minor graphical... commit | commitdiff | tree | snapshot
2011-11-09 Wilmer RicciottiMatitaweb: commit | commitdiff | tree | snapshot
2011-11-09 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-11-09 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-11-09 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-11-08 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-11-07 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-11-07 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-11-07 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-11-07 Andrea AspertiRemoved some dead code. commit | commitdiff | tree | snapshot
2011-11-07 Andrea AspertiNew management of justifications. commit | commitdiff | tree | snapshot
2011-11-05 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-11-05 Ferruccio Guidi- file names update commit | commitdiff | tree | snapshot
2011-11-04 Ferruccio Guidi- lib: one lemma about equality was missing commit | commitdiff | tree | snapshot
2011-11-04 Ferruccio Guidi- two discrimination lemmas commit | commitdiff | tree | snapshot
2011-11-03 Ferruccio Guidi- contex-free normal forms started commit | commitdiff | tree | snapshot
2011-11-03 Andrea Asperti1. we compare the expected branching with the actual... commit | commitdiff | tree | snapshot
2011-11-03 Andrea AspertiAt top level, we reindex the local equations for each... commit | commitdiff | tree | snapshot
2011-11-02 Claudio Sacerdoti... trans_eq and sym_eq indexing restored. Apparently they... commit | commitdiff | tree | snapshot
2011-11-02 Wilmer RicciottiMatitaweb: Added jquery.js (also used in some of the... commit | commitdiff | tree | snapshot
2011-11-02 Wilmer RicciottiMatitaweb: commit | commitdiff | tree | snapshot
2011-11-02 Andrea AspertiThe proof of append_cons used transitive_eq, not indexed. commit | commitdiff | tree | snapshot
2011-11-02 Andrea AspertiDisabled printings. commit | commitdiff | tree | snapshot
2011-11-02 Andrea Asperti--Tre the expected branching with the actual one and commit | commitdiff | tree | snapshot
2011-10-28 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2011-10-28 Wilmer RicciottiMatitaweb: added layout.js (currently manages resizing... commit | commitdiff | tree | snapshot
2011-10-28 Andrea AspertiNew management of resulting subst in deep_eq: used... commit | commitdiff | tree | snapshot
2011-10-28 Andrea Asperti-applicative_case has been rewritten and simplified; commit | commitdiff | tree | snapshot
2011-10-28 Andrea AspertiSome qed- commit | commitdiff | tree | snapshot
2011-10-28 Andrea Aspertisome qed- commit | commitdiff | tree | snapshot
2011-10-28 Andrea AspertiNew management of the resulting substitution in deep eq. commit | commitdiff | tree | snapshot
2011-10-28 Andrea Asperti-pplicative_case has been rewritten and simplified; commit | commitdiff | tree | snapshot
2011-10-27 Wilmer RicciottiMatitaweb: Fixed a bug in matitaweb.js concerning disam... commit | commitdiff | tree | snapshot
2011-10-26 Ferruccio Guidirefactoring ... commit | commitdiff | tree | snapshot
2011-10-25 Ferruccio Guidi-- some renaming in basic_2 commit | commitdiff | tree | snapshot
2011-10-25 Ferruccio Guidiold pr2_subst1 (Basic-1) closed! commit | commitdiff | tree | snapshot
2011-10-24 Wilmer RicciottiMatitaweb: first attempt at web UI for disambiguation. commit | commitdiff | tree | snapshot
2011-10-21 Andrea AspertiNow it should compile :-) commit | commitdiff | tree | snapshot
2011-10-21 Andrea AspertiOptimization. Check removed. commit | commitdiff | tree | snapshot
2011-10-21 Andrea AspertiDisabled debug. commit | commitdiff | tree | snapshot
2011-10-20 Andrea Asperti1. ported to camlp5 commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.