diff -r 95f66b234086 -r 9a1178204dc0 lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml Wed Apr 22 11:10:23 2009 +0200
+++ b/lib/jedit/isabelle.xml Mon May 11 09:18:42 2009 +0200
@@ -45,10 +45,8 @@
ML
ML_prf
- ML_test
abbreviation
- actions
advanced
also
and
@@ -63,7 +61,6 @@
attach
attribute_setup
- automaton
avoids
ax_specification
axclass
@@ -75,14 +72,12 @@
by
cannot_undo
case
- case_eqns
chapter
class
classes
classrel
- codatatype
code_abort
code_class
code_const
@@ -100,8 +95,6 @@
coinductive
coinductive_set
- compose
- con_defs
congs
constdefs
constrains
@@ -110,7 +103,6 @@
contains
context
corollary
- cpodef
datatype
declaration
declare
@@ -123,10 +115,7 @@
defs
- domain
- domains
done
- elimination
end
equivariance
@@ -141,8 +130,6 @@
fix
fixes
- fixpat
- fixrec
for
from
@@ -155,13 +142,11 @@
hence
hide
- hide_action
hints
identifier
if
imports
in
- induction
inductive
inductive_cases
inductive_set
@@ -169,19 +154,14 @@
infixl
infixr
init_toplevel
- initially
- inputs
instance
instantiation
- internals
interpret
interpretation
- intros
is
judgment
kill
- lazy
lemma
lemmas
let
@@ -213,16 +193,12 @@
open
oracle
output
- outputs
overloaded
overloading
parse_ast_translation
parse_translation
- pcpodef
permissive
- post
- pre
prefer
presume
@@ -252,7 +228,6 @@
-
@@ -269,24 +244,19 @@
recdef
recdef_tc
record
- recursor_eqns
refute_params
- rename
rep_datatype
- restrict
sect
section
setup
show
shows
- signature
simproc_setup
sorry
specification
- states
statespace
structure
subclass
@@ -308,16 +278,11 @@
thus
- to
- transitions
translations
- transrel
txt
txt_raw
- type_elims
- type_intros
typed_print_translation
typedecl
typedef