Wed, 11 Feb 2009 21:39:59 +0100 |
wenzelm |
some more Isar elements;
|
file |
diff |
annotate
|
Thu, 13 Nov 2008 21:45:40 +0100 |
wenzelm |
updated/refined types of Isar language elements, removed special LaTeX macros;
|
file |
diff |
annotate
|
Mon, 15 Sep 2008 16:40:53 +0200 |
wenzelm |
added isatt markup;
|
file |
diff |
annotate
|
Fri, 09 May 2008 23:21:33 +0200 |
wenzelm |
removed outdated comment;
|
file |
diff |
annotate
|
Fri, 09 May 2008 23:18:52 +0200 |
wenzelm |
removed obsolete macros for Isar commands etc.;
|
file |
diff |
annotate
|
Mon, 05 May 2008 15:23:59 +0200 |
wenzelm |
added isasymIN/STRUCTURE;
|
file |
diff |
annotate
|
Fri, 02 May 2008 16:38:01 +0200 |
wenzelm |
added begin and imports;
|
file |
diff |
annotate
|
Mon, 28 Apr 2008 14:41:32 +0200 |
wenzelm |
added AND, IS, WHERE symbols;
|
file |
diff |
annotate
|
Thu, 24 Apr 2008 11:38:10 +0200 |
wenzelm |
more abstract index commands;
|
file |
diff |
annotate
|
Thu, 24 Apr 2008 11:05:19 +0200 |
wenzelm |
added \indexoutersyntax;
|
file |
diff |
annotate
|
Thu, 10 Jan 2008 08:21:03 +0100 |
haftmann |
added overloading target
|
file |
diff |
annotate
|
Wed, 05 Dec 2007 14:15:39 +0100 |
haftmann |
added something about instantiation target
|
file |
diff |
annotate
|
Fri, 12 Oct 2007 08:20:43 +0200 |
haftmann |
added subclass command
|
file |
diff |
annotate
|
Mon, 14 Aug 2006 13:46:05 +0200 |
haftmann |
added passage on class package
|
file |
diff |
annotate
|
Tue, 04 Jul 2006 18:39:57 +0200 |
wenzelm |
added 'unfolding';
|
file |
diff |
annotate
|
Thu, 02 Feb 2006 16:31:30 +0100 |
wenzelm |
index elements;
|
file |
diff |
annotate
|
Wed, 01 Jun 2005 12:30:49 +0200 |
ballarin |
Locales: new element constrains, parameter renaming with syntax,
|
file |
diff |
annotate
|
Thu, 07 Mar 2002 23:21:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 04 Mar 2002 19:06:01 +0100 |
wenzelm |
\SHOWS;
|
file |
diff |
annotate
|
Thu, 28 Feb 2002 18:11:11 +0100 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Wed, 27 Feb 2002 19:43:55 +0100 |
wenzelm |
'using' command;
|
file |
diff |
annotate
|
Thu, 03 Jan 2002 17:55:46 +0100 |
wenzelm |
\CONSTDEFS;
|
file |
diff |
annotate
|
Wed, 02 Jan 2002 21:51:38 +0100 |
wenzelm |
added \indexisarcmdof, \indexisarmethof, \indexisarattof;
|
file |
diff |
annotate
|
Wed, 10 Jan 2001 20:19:56 +0100 |
wenzelm |
tuned \DOT, \DDOT;
|
file |
diff |
annotate
|
Wed, 25 Oct 2000 18:34:10 +0200 |
wenzelm |
added \isarantiq;
|
file |
diff |
annotate
|
Tue, 17 Oct 2000 22:22:56 +0200 |
wenzelm |
improved;
|
file |
diff |
annotate
|
Sun, 15 Oct 2000 19:50:59 +0200 |
wenzelm |
more elements;
|
file |
diff |
annotate
|
Thu, 29 Jun 2000 22:39:09 +0200 |
wenzelm |
added \indexisarant;
|
file |
diff |
annotate
|
Sun, 28 May 2000 21:57:40 +0200 |
wenzelm |
\newcommand{\indexisarcase};
|
file |
diff |
annotate
|
Sun, 21 May 2000 14:42:35 +0200 |
wenzelm |
improved \BG, \EN;
|
file |
diff |
annotate
|
Thu, 30 Mar 2000 15:11:48 +0200 |
wenzelm |
added \MOREOVER, \ULTIMATELY;
|
file |
diff |
annotate
|
Fri, 17 Mar 2000 22:49:13 +0100 |
wenzelm |
fixed \OBTAIN;
|
file |
diff |
annotate
|
Tue, 14 Mar 2000 11:27:38 +0100 |
wenzelm |
added \NEXT;
|
file |
diff |
annotate
|
Wed, 08 Mar 2000 23:37:25 +0100 |
wenzelm |
added \CASE, \OBTAIN, \SORRY, \OOPS;
|
file |
diff |
annotate
|
Fri, 29 Oct 1999 19:00:51 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 29 Oct 1999 12:48:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 21 Oct 1999 17:42:42 +0200 |
wenzelm |
removed \BG, \EN;
|
file |
diff |
annotate
|
Thu, 21 Oct 1999 15:57:26 +0200 |
wenzelm |
added \ISS;
|
file |
diff |
annotate
|
Tue, 07 Sep 1999 18:10:03 +0200 |
wenzelm |
\indexisarmeth: "Methods";
|
file |
diff |
annotate
|
Sat, 04 Sep 1999 20:55:52 +0200 |
wenzelm |
added \indexisarvar;
|
file |
diff |
annotate
|
Fri, 03 Sep 1999 16:10:39 +0200 |
wenzelm |
permuted index;
|
file |
diff |
annotate
|
Mon, 30 Aug 1999 14:07:48 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 24 Aug 1999 15:41:19 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 23 Aug 1999 15:27:27 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 22 Aug 1999 21:14:44 +0200 |
wenzelm |
\indexisarreg;
|
file |
diff |
annotate
|
Wed, 04 Aug 1999 18:19:45 +0200 |
wenzelm |
improved \NOTE;
|
file |
diff |
annotate
|
Tue, 03 Aug 1999 19:02:03 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 30 Jul 1999 15:57:27 +0200 |
wenzelm |
Isabelle/Isar macros;
|
file |
diff |
annotate
|
Tue, 20 Jul 1999 18:50:46 +0200 |
wenzelm |
checkpoint;
|
file |
diff |
annotate
|