diff options
author | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-04-06 12:45:24 +0000 |
---|---|---|
committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-04-06 12:45:24 +0000 |
commit | 1d641d1c2fcd97b6fd60369de8b4a7e6a26b1051 (patch) | |
tree | f61e6163b89eaa24e7541ff94989fe9e6da46bb7 /tools/coqdep_lexer.mll | |
parent | 763102437580da08cd96d06d05d99dc1a3eda1b1 (diff) |
bug Print Proof; usage coqtop/coqc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1552 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools/coqdep_lexer.mll')
-rwxr-xr-x | tools/coqdep_lexer.mll | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/coqdep_lexer.mll b/tools/coqdep_lexer.mll index 9c4c482fb..29e4b04a3 100755 --- a/tools/coqdep_lexer.mll +++ b/tools/coqdep_lexer.mll @@ -5,10 +5,11 @@ (* // * This file is distributed under the terms of the *) (* * GNU Lesser General Public License Version 2.1 *) (***********************************************************************) + +(*i $Id$ i*) + { - (* $Id: *) - open Lexing type mL_token = Use_module of string |