]>
2005-06-10 | Claudio Sacerdoti... | Got rid of a few warnings. | blob | commitdiff | raw |
2005-06-01 | Enrico Tassi | paths trough terms implemented with a nice hack :) | blob | commitdiff | raw | diff to current |
2005-05-31 | Enrico Tassi | fix | blob | commitdiff | raw | diff to current |
2005-05-24 | Enrico Tassi | new simpl semantic (now = and not == since you can... | blob | commitdiff | raw | diff to current |
2005-05-02 | Enrico Tassi | attached auto | blob | commitdiff | raw | diff to current |
2005-04-27 | Stefano Zacchiroli | merged changes from the svn fork by me and Enrico | blob | commitdiff | raw | diff to current |
2004-12-02 | Stefano Zacchiroli | *** empty log message *** | blob | commitdiff | raw | diff to current |
2004-12-01 | Enrico Tassi | Added universes handling. The PRE_UNIVERSES tag may... | blob | commitdiff | raw | diff to current |
2004-11-05 | Stefano Zacchiroli | - added Tactics module as a common point where tactics... | blob | commitdiff | raw | diff to current |