aboutsummaryrefslogtreecommitdiff
path: root/contrib/interface/vtp.ml
AgeCommit message (Expand)Author
2002-12-03Etape intermédiaire d'adaptation de la connexion à pcoq aux nouvellesbertot
2002-10-06correcting the treatment of many tactics that use quant_hyp in file xlate.mlbertot
2002-10-03Previous version did compile but did not make it possible to actually runbertot
2001-12-18Integrating the Ltac language and the Blast tool into the interfacebertot
2001-11-05GROS COMMIT:barras
2001-04-18Adding files for the production of textual explanations as used in pcoq.bertot
2001-04-04Files that handle the dialogue with the graphical user-interface pcoq.bertot