Thu, 21 Sep 2006 19:04:20 +0200 |
wenzelm |
member (op =);
|
file |
diff |
annotate
|
Tue, 07 Feb 2006 19:56:45 +0100 |
wenzelm |
renamed gen_duplicates to duplicates;
|
file |
diff |
annotate
|
Mon, 06 Feb 2006 11:01:28 +0100 |
haftmann |
subsituted gen_duplicates / has_duplicates for duplicates whenever appropriate
|
file |
diff |
annotate
|
Sat, 14 Jan 2006 17:14:16 +0100 |
wenzelm |
Output.error_msg;
|
file |
diff |
annotate
|
Wed, 31 Aug 2005 15:46:46 +0200 |
wenzelm |
use_dir: added copy-dump option;
|
file |
diff |
annotate
|
Tue, 16 Aug 2005 13:42:45 +0200 |
wenzelm |
use_dir: removed hidden, added doc_versions;
|
file |
diff |
annotate
|
Wed, 06 Jul 2005 20:00:40 +0200 |
wenzelm |
finish: Output.accumulated_time;
|
file |
diff |
annotate
|
Wed, 06 Jul 2005 10:41:49 +0200 |
wenzelm |
ThyInfo.time_use root;
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 18:33:36 +0200 |
wenzelm |
Context.PureN;
|
file |
diff |
annotate
|
Tue, 17 May 2005 18:10:31 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 17 May 2005 10:19:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
Tue, 11 Jan 2005 14:16:30 +0100 |
berghofe |
Added flag for hiding proofs in documents to use_dir.
|
file |
diff |
annotate
|
Thu, 28 Oct 2004 19:40:22 +0200 |
webertj |
isatool usedir: ML root file can now be specified (previously hard-coded as ROOT.ML)
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Fri, 09 Nov 2001 00:17:09 +0100 |
wenzelm |
File.use;
|
file |
diff |
annotate
|
Tue, 23 Oct 2001 22:53:08 +0200 |
wenzelm |
build option;
|
file |
diff |
annotate
|
Sat, 20 Oct 2001 20:21:40 +0200 |
wenzelm |
document graph option;
|
file |
diff |
annotate
|
Thu, 27 Sep 2001 12:24:02 +0200 |
wenzelm |
use_dir: verbose option;
|
file |
diff |
annotate
|
Sat, 01 Sep 2001 00:14:16 +0200 |
wenzelm |
renamed `keep_derivs' to `proofs', and made an integer;
|
file |
diff |
annotate
|
Fri, 31 Aug 2001 16:22:48 +0200 |
berghofe |
Added new argument to use_dir for derivation kind.
|
file |
diff |
annotate
|
Thu, 30 Aug 2001 22:50:01 +0200 |
wenzelm |
export name;
|
file |
diff |
annotate
|
Thu, 18 Jan 2001 20:40:47 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 01 Dec 2000 19:43:57 +0100 |
wenzelm |
use_dir: modes;
|
file |
diff |
annotate
|
Sun, 23 Jul 2000 12:08:07 +0200 |
wenzelm |
disallow duplicates in session identifiers;
|
file |
diff |
annotate
|
Fri, 05 May 2000 22:09:41 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Sat, 05 Feb 2000 16:57:02 +0100 |
wenzelm |
additional tex dump;
|
file |
diff |
annotate
|
Tue, 05 Oct 1999 15:35:34 +0200 |
wenzelm |
use_dir: doc;
|
file |
diff |
annotate
|
Tue, 17 Aug 1999 19:24:00 +0200 |
berghofe |
Better handling of path for remote theory browsing information.
|
file |
diff |
annotate
|