lib/jedit/isabelle.xml
2009-01-21 wenzelm 2009-01-21 updated generated files;
2008-12-15 wenzelm 2008-12-15 updated generated files;
2008-10-21 berghofe 2008-10-21 Added nominal_inductive2.
2008-10-03 wenzelm 2008-10-03 updated generated file;
2008-09-17 wenzelm 2008-09-17 updated generated file;
2008-07-16 wenzelm 2008-07-16 updated generated file;
2008-07-14 wenzelm 2008-07-14 updated generated file;
2008-07-10 wenzelm 2008-07-10 updated generated file;
2008-07-08 wenzelm 2008-07-08 updated generated file;
2008-06-28 wenzelm 2008-06-28 updated generated file;
2008-06-14 wenzelm 2008-06-14 updated generated file;
2008-06-10 haftmann 2008-06-10 updated
2008-05-15 wenzelm 2008-05-15 updated generated file;
2008-04-19 wenzelm 2008-04-19 updated generated file;
2008-03-29 wenzelm 2008-03-29 updated generated file;
2008-03-25 wenzelm 2008-03-25 *** empty log message ***
2008-02-28 berghofe 2008-02-28 Added unused_thms command.
2007-12-07 wenzelm 2007-12-07 updated;
2007-12-03 haftmann 2007-12-03 updated
2007-10-24 wenzelm 2007-10-24 *** empty log message ***
2007-10-17 wenzelm 2007-10-17 updated;
2007-10-12 haftmann 2007-10-12 updated
2007-10-10 wenzelm 2007-10-10 updated;
2007-10-08 haftmann 2007-10-08 updated keywords
2007-10-08 wenzelm 2007-10-08 tuned generated comment;
2007-10-08 wenzelm 2007-10-08 updated;
2007-10-07 wenzelm 2007-10-07 tuned generated comment;
2007-10-07 wenzelm 2007-10-07 isabelle mode for jEdit;