| Thu, 10 Apr 2008 13:24:17 +0200 |
wenzelm |
finish: removed unnecessary Isar.init;
|
file |
diff |
annotate
|
| Mon, 25 Feb 2008 19:38:48 +0100 |
wenzelm |
tuned msg;
|
file |
diff |
annotate
|
| Mon, 25 Feb 2008 17:57:44 +0100 |
wenzelm |
fixed ChangeLog.gz path;
|
file |
diff |
annotate
|
| Mon, 25 Feb 2008 17:27:41 +0100 |
wenzelm |
welcome: actually check for ChangeLog.gz;
|
file |
diff |
annotate
|
| Thu, 21 Feb 2008 21:31:52 +0100 |
wenzelm |
more elaborate structure Distribution (filled-in by makedist);
|
file |
diff |
annotate
|
| Sat, 05 Jan 2008 21:37:23 +0100 |
wenzelm |
export session id;
|
file |
diff |
annotate
|
| Tue, 18 Dec 2007 22:21:41 +0100 |
wenzelm |
removed obsolete use_noncritical (plain use is already non-critical);
|
file |
diff |
annotate
|
| Mon, 17 Sep 2007 16:36:41 +0200 |
wenzelm |
avoid direct access to print_mode;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2007 16:59:15 +0200 |
wenzelm |
multithreading trace: int;
|
file |
diff |
annotate
|
| Sun, 29 Jul 2007 19:46:02 +0200 |
wenzelm |
added option -T (multithreading trace mode);
|
file |
diff |
annotate
|
| Wed, 25 Jul 2007 17:05:47 +0200 |
wenzelm |
Secure.use_noncritical root;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2007 22:53:46 +0200 |
wenzelm |
added usedir option -M: max threads;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2007 16:45:04 +0200 |
wenzelm |
setmp_noncritical (assumes outermost control);
|
file |
diff |
annotate
|
| Sun, 22 Jul 2007 13:53:49 +0200 |
wenzelm |
clarified Present.init;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2006 12:33:27 +0100 |
wenzelm |
Toplevel.init_state;
|
file |
diff |
annotate
|
| Fri, 15 Dec 2006 00:08:06 +0100 |
wenzelm |
avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
|
file |
diff |
annotate
|
| 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
|
| Tue, 17 Aug 1999 14:00:30 +0200 |
berghofe |
Path for remote theory browsing information is now stored in referece variable rpath.
|
file |
diff |
annotate
|
| Mon, 17 May 1999 21:33:22 +0200 |
wenzelm |
ThyInfo.finalize_all renamed to ThyInfo.finish;
|
file |
diff |
annotate
|
| Mon, 17 May 1999 16:59:49 +0200 |
berghofe |
Changed interface of function use_dir.
|
file |
diff |
annotate
|
| Wed, 12 May 1999 16:54:31 +0200 |
wenzelm |
rearranged some modules;
|
file |
diff |
annotate
|
| Thu, 11 Mar 1999 12:32:40 +0100 |
wenzelm |
moved Thy/session.ML to Isar/session.ML;
|
file |
diff |
annotate
|