| Fri, 17 Aug 2012 14:56:37 +0200 |
wenzelm |
added "isabelle components" tool;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 13:11:58 +0200 |
wenzelm |
discontinued special treatment of Proof General;
|
file |
diff |
annotate
|
| Fri, 27 Jul 2012 16:27:26 +0200 |
wenzelm |
proper shell variable;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 11:39:22 +0200 |
wenzelm |
further imitation of ISABELLE_USEDIR_OPTIONS via options;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2012 16:16:10 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2012 12:05:48 +0200 |
wenzelm |
updated smlnj settings;
|
file |
diff |
annotate
|
| Fri, 06 Jul 2012 16:41:26 +0200 |
wenzelm |
discontinued odd XSYMBOL_INSTALLFONTS, which is private to PG-3.7.x (isafonts.informatik.tu-muenchen.de:7200 no longer exists);
|
file |
diff |
annotate
|
| Thu, 05 Jul 2012 13:33:53 +0200 |
wenzelm |
slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*);
|
file |
diff |
annotate
|
| Wed, 25 Apr 2012 15:44:26 +0200 |
wenzelm |
smarter PDF_VIEWER defaults, based on hints by Lars Noschinski;
|
file |
diff |
annotate
|
| Tue, 24 Apr 2012 15:56:09 +0200 |
wenzelm |
prefer evince over old xpdf -- NB: x86-cygwin bundles its own application;
|
file |
diff |
annotate
|
| Sun, 22 Apr 2012 14:30:18 +0200 |
wenzelm |
USER_HOME settings variable points to cross-platform user home directory;
|
file |
diff |
annotate
|
| Sun, 01 Apr 2012 22:03:45 +0200 |
krauss |
removed old HOL4 import -- corresponding exporter is lost, code is broken, no users known, maintenance nightmare
|
file |
diff |
annotate
|
| Wed, 28 Mar 2012 13:53:30 +0200 |
wenzelm |
clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME;
|
file |
diff |
annotate
|
| Wed, 28 Mar 2012 11:04:39 +0200 |
wenzelm |
updated comments;
|
file |
diff |
annotate
|
| Sat, 24 Mar 2012 20:24:16 +0100 |
wenzelm |
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
|
file |
diff |
annotate
|
| Sun, 18 Mar 2012 21:52:50 +0100 |
wenzelm |
less noisy Isabelle/Scala build process;
|
file |
diff |
annotate
|
| Wed, 11 Jan 2012 15:12:57 +0100 |
wenzelm |
more robust ISABELLE_HOME_USER for repository versions -- some versions of Emacs interpret foo//bar as /bar even on the command-line (unlike regular POSIX semantics);
|
file |
diff |
annotate
|
| Sat, 15 Oct 2011 15:55:10 +0200 |
wenzelm |
updated to polyml-5.4.1;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2011 12:48:45 +0200 |
wenzelm |
discontinued hard-wired JAVA_HOME treatment for Mac OS X (cf. f471a2fb9a95), which can cause confusions of "isabelle java" vs. "isabelle scala" -- moved settings to external component;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2011 16:53:01 +0200 |
wenzelm |
specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 16:10:22 +0200 |
wenzelm |
provide Isabelle/Scala environment as Java extension, instead of user classpath
|
file |
diff |
annotate
|
| Wed, 22 Jun 2011 21:54:35 +0200 |
wenzelm |
clarified default ML settings;
|
file |
diff |
annotate
|
| Mon, 20 Jun 2011 23:19:38 +0200 |
wenzelm |
simplified/generalized ISABELLE_FONTS handling;
|
file |
diff |
annotate
|
| Mon, 14 Mar 2011 15:17:10 +0100 |
wenzelm |
example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 20:56:00 +0100 |
wenzelm |
files are identified via SHA1 digests -- discontinued ISABELLE_FILE_IDENT;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 17:35:35 +0100 |
wenzelm |
some cleanup of old-style settings;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 17:28:14 +0100 |
wenzelm |
clarified ISABELLE_CSDP setting (formerly CSDP_EXE);
|
file |
diff |
annotate
|
| Tue, 18 Jan 2011 21:29:56 +0100 |
wenzelm |
Apple's way of locating java;
|
file |
diff |
annotate
|
| Mon, 10 Jan 2011 17:22:48 +0100 |
wenzelm |
updated for polyml-5.4.0;
|
file |
diff |
annotate
|
| Tue, 16 Nov 2010 22:13:54 +0100 |
wenzelm |
more robust determination of java executable;
|
file |
diff |
annotate
|