aboutsummaryrefslogtreecommitdiff
path: root/contrib/interface/translate.ml
AgeCommit message (Expand)Author
2002-01-23In Pcoq, the search commands had an erroneous behavior. Bound variablesbertot
2001-12-13compat ocaml 3.03filliatr
2001-08-10Prsingherbelin
2001-04-04Files that handle the dialogue with the graphical user-interface pcoq.bertot