]>
2009-04-20 | Enrico Tassi | - init_cache_and_tables rewritten using the automation_... | blob | commitdiff | raw |
2009-04-14 | Ferruccio Guidi | we rebuilt the dependences | blob | commitdiff | raw | diff to current |
2009-04-14 | Ferruccio Guidi | - Procedural: generation of "exact" is now complete | blob | commitdiff | raw | diff to current |
2009-04-06 | Claudio Sacerdoti... | New tactic clear; new syntax # _; to introduce and... | blob | commitdiff | raw | diff to current |
2009-03-30 | Enrico Tassi | tentative subst-sexpand and change | blob | commitdiff | raw | diff to current |
2009-03-25 | Enrico Tassi | new tactics are almost ready | blob | commitdiff | raw | diff to current |
2008-09-26 | Enrico Tassi | auto was compiraing lazy proof terms with = ... fixed | blob | commitdiff | raw | diff to current |
2008-09-04 | Ferruccio Guidi | transcript: improved debuugging facilities | blob | commitdiff | raw | diff to current |
2006-11-15 | Ferruccio Guidi | transcript: very alpha version. | blob | commitdiff | raw | diff to current |