]>
2006-02-02 | Stefano Zacchiroli | removed no longer used coq_notation_script from API | blob | commitdiff | raw |
2006-01-10 | Stefano Zacchiroli | added $Id$ | blob | commitdiff | raw | diff to current |
2006-01-09 | Stefano Zacchiroli | added buildTimeConf interface | blob | commitdiff | raw | diff to current |