From 6497f27021fec4e01f2182014f2bb1989b4707f9 Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Mon, 31 Jan 2005 14:34:14 +0000 Subject: Imported Upstream version 8.0pl2 --- ide/highlight.mll | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'ide/highlight.mll') diff --git a/ide/highlight.mll b/ide/highlight.mll index 21063459..e2a1d0cd 100644 --- a/ide/highlight.mll +++ b/ide/highlight.mll @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id: highlight.mll,v 1.14.2.1 2004/07/16 19:30:20 herbelin Exp $ *) +(* $Id: highlight.mll,v 1.14.2.2 2004/11/27 14:41:43 herbelin Exp $ *) { @@ -29,18 +29,21 @@ let identchar = let ident = firstchar identchar* let keyword = - "Add" | "CoInductive" | "Defined" | + "Add" | "Defined" | "End" | "Export" | "Extraction" | "Hint" | "Implicits" | "Import" | "Infix" | "Load" | "match" | "Module" | "Module Type" | "Proof" | "Qed" | - "Record" | "Require" | "Save" | "Scheme" | + "Require" | "Save" | "Scheme" | "Section" | "Unset" | "Set" let declaration = "Lemma" | "Axiom" | "CoFixpoint" | "Definition" | "Fixpoint" | "Hypothesis" | + "Hypotheses" | "Axioms" | "Parameters" | "Subclass" | + "Remark" | "Fact" | "Conjecture" | "Let" | + "CoInductive" | "Record" | "Structure" | "Inductive" | "Parameter" | "Theorem" | "Variable" | "Variables" -- cgit v1.2.3