| Fri, 27 Jul 2012 15:37:28 +0200 |
wenzelm |
include doc-src as component, and thus its sessions defined in ROOT;
|
file |
diff |
annotate
|
| Wed, 25 Jul 2012 10:55:02 +0200 |
wenzelm |
more standard session setup for WWW_Find;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2012 21:01:16 +0200 |
wenzelm |
provide explicit ISABELLE_PLATFORM32 as well;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2012 16:13:26 +0200 |
wenzelm |
clarified init_component: always liberal;
|
file |
diff |
annotate
|
| Thu, 24 May 2012 23:13:06 +0200 |
wenzelm |
simplified Cygwin root: warm start via env, cold start via property, no registry magic;
|
file |
diff |
annotate
|
| Wed, 25 Apr 2012 15:13:03 +0200 |
wenzelm |
enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user;
|
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
|
| Tue, 17 Apr 2012 23:24:46 +0200 |
wenzelm |
retain ISABELLE_HOME_WINDOWS which is useful for jEdit to fold file names symbolically, but without DOS expansion that causes problems with Cygwin/Posix roundtrip (cf. 5a7903ba2dac);
|
file |
diff |
annotate
|
| Mon, 16 Apr 2012 15:09:47 +0200 |
wenzelm |
more precise handling of java failure, due to missing ISABELLE_JDK_HOME;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 14:36:36 +0200 |
wenzelm |
more robust invocation via ISABELLE_JDK_HOME and SCALA_HOME;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 12:36:11 +0200 |
wenzelm |
more robust treatment of ISABELLE_HOME on windows: eliminate spaces and funny unicode characters in directory name via DOS~1 notation;
|
file |
diff |
annotate
|
| Sun, 01 Apr 2012 22:02:14 +0200 |
wenzelm |
less brutal return from function, to allow caller to report error;
|
file |
diff |
annotate
|
| Mon, 26 Mar 2012 16:25:08 +0200 |
wenzelm |
more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
|
file |
diff |
annotate
|
| Thu, 01 Mar 2012 14:42:05 +0100 |
wenzelm |
more tolerant cygpath invocation, allow empty CLASSPATH;
|
file |
diff |
annotate
|
| Tue, 27 Sep 2011 00:03:11 +0200 |
wenzelm |
tuned message, which is displayed after termination of Isabelle.app on Mac OS;
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 14:48:32 +0200 |
wenzelm |
ensure export of initial CLASSPATH;
|
file |
diff |
annotate
|
| Sun, 13 Feb 2011 17:45:21 +0100 |
wenzelm |
more explicit exit due to failed etc/settings -- normally return code 0=true and 1=false could be tolerated, but bash syntax errors also return 1;
|
file |
diff |
annotate
|
| Sun, 13 Feb 2011 17:29:44 +0100 |
wenzelm |
eliminated somewhat obsolete warning -- former "$HOME/Isabelle" vs. "$HOME/isabelle" no longer exist;
|
file |
diff |
annotate
|
| Sun, 13 Feb 2011 17:19:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 21 Jan 2011 22:04:12 +0100 |
wenzelm |
JVM/Windows: more robust treatment of unicode in file names;
|
file |
diff |
annotate
|
| Wed, 19 Jan 2011 21:01:37 +0100 |
wenzelm |
clasrified classpath: add in front in accordance to librarypath (cf. b7cd80330a16), for slightly more robustness;
|
file |
diff |
annotate
|
| Wed, 19 Jan 2011 21:00:16 +0100 |
wenzelm |
added librarypath: shared library convenience in bash, keeping LD_LIBRARY_PATH and DYLD_LIBRARY_PATH separate;
|
file |
diff |
annotate
|
| Tue, 11 Jan 2011 19:55:34 +0100 |
wenzelm |
isabelle version -i;
|
file |
diff |
annotate
|
| Tue, 16 Nov 2010 21:54:52 +0100 |
wenzelm |
init_component: require absolute path (when invoked by user scripts);
|
file |
diff |
annotate
|
| Tue, 16 Nov 2010 20:30:25 +0100 |
wenzelm |
paranoia export of CLASSPATH, just in case the initial status via allexport is lost due to other scripts;
|
file |
diff |
annotate
|
| Sat, 17 Apr 2010 22:58:29 +0200 |
wenzelm |
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
|
file |
diff |
annotate
|
| Sat, 17 Apr 2010 21:01:55 +0200 |
wenzelm |
THIS_CYGWIN;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 22:35:32 +0100 |
wenzelm |
removed function "isabelle-process", keeping "isabelle" only -- functions within the process environment might get passed through a genuine /bin/sh, which does not allow non-identifiers here;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 22:16:48 +0100 |
wenzelm |
discontinued old ISABELLE and ISATOOL environment settings;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 21:49:47 +0100 |
wenzelm |
shell functions "isabelle-process" and "isabelle" refer to the proper executables statically -- for interactive use or sloppy bash scripts;
|
file |
diff |
annotate
|