]>
2005-07-26 | Claudio Sacerdoti... | "Coq's " prefix added to every interpretation. | blob | commitdiff | raw |
2005-07-18 | Stefano Zacchiroli | merged cic_notation with matita: good luck! | blob | commitdiff | raw | diff to current |
2005-07-06 | Enrico Tassi | added script template | blob | commitdiff | raw | diff to current |