| Sat, 15 Dec 2007 17:53:32 +0100 |
wenzelm |
non-ML session: run with 'nice', to prevent isabelle process from flooding interactive front-ends (ProofGeneral/XEmacs etc.)
|
file |
diff |
annotate
|
| Tue, 04 Dec 2007 22:49:21 +0100 |
wenzelm |
replaced option -p by -W (process wrapper);
|
file |
diff |
annotate
|
| Thu, 29 Nov 2007 18:09:36 +0100 |
wenzelm |
isabelle-process: option -p echos ISABELLE_PID;
|
file |
diff |
annotate
|
| Mon, 04 Dec 2006 21:33:36 +0100 |
aspinall |
Forward compatibility with new Proof General module.
|
file |
diff |
annotate
|
| Mon, 09 Oct 2006 20:12:42 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 09 Oct 2006 19:37:02 +0200 |
wenzelm |
added option -S (secure mode);
|
file |
diff |
annotate
|
| Sat, 08 Oct 2005 20:15:31 +0200 |
wenzelm |
support ML_SUFFIX;
|
file |
diff |
annotate
|
| Tue, 19 Jul 2005 17:21:45 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 13 Jul 2005 16:32:15 +0200 |
aspinall |
Add ISABELLE_PID for proof_general.ML
|
file |
diff |
annotate
|
| Fri, 27 May 2005 13:51:32 +0200 |
aspinall |
Add back rudely removed and popular -X option.
|
file |
diff |
annotate
|
| Tue, 17 May 2005 09:58:40 +0200 |
wenzelm |
proper treatment of directory links;
|
file |
diff |
annotate
|
| Wed, 27 Apr 2005 23:02:08 +0200 |
gagern |
make symlink handling compatible with whitespaces
|
file |
diff |
annotate
|
| Tue, 26 Apr 2005 19:49:39 +0200 |
wenzelm |
improved handling of symlinks;
|
file |
diff |
annotate
|
| Thu, 21 Apr 2005 22:02:06 +0200 |
wenzelm |
superceded by Pure.thy and CPure.thy;
|
file |
diff |
annotate
|
| Wed, 20 Apr 2005 19:00:30 +0200 |
gagern |
removed redundant readlink call
|
file |
diff |
annotate
|
| Wed, 20 Apr 2005 16:03:17 +0200 |
quigley |
Removed remaining references to Main.thy in reconstruction code.
|
file |
diff |
annotate
|
| Wed, 20 Apr 2005 14:18:33 +0200 |
gagern |
Allow symlinks to shell scripts
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Fri, 07 May 2004 13:34:13 +0200 |
aspinall |
Add -X option to trigger PGIP interaction mode.
|
file |
diff |
annotate
|
| Sat, 08 Sep 2001 20:00:31 +0200 |
wenzelm |
smart selection of isabelle-process versus isabelle-interface;
|
file |
diff |
annotate
|