| 2016-03-10 |
wenzelm |
isabelle_process is superseded by "isabelle process" tool;
|
file |
diff |
annotate
|
| 2016-02-25 |
wenzelm |
slightly more robust re-initialization;
|
file |
diff |
annotate
|
| 2016-02-25 |
wenzelm |
within the Isabelle environment, main executables are always within PATH;
|
file |
diff |
annotate
|
| 2016-02-25 |
wenzelm |
avoid global state change;
|
file |
diff |
annotate
|
| 2016-02-25 |
wenzelm |
more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash;
|
file |
diff |
annotate
|
| 2016-02-17 |
wenzelm |
SML/NJ is no longer supported;
|
file |
diff |
annotate
|
| 2015-10-02 |
wenzelm |
more explicit umask for important directories: e.g. relevant for Windows 10, where implicit g=rwx leads to odd failure of chmod -w for heap images;
|
file |
diff |
annotate
|
| 2015-09-30 |
wenzelm |
renamed jvmpath to platform_path;
|
file |
diff |
annotate
|
| 2015-09-30 |
wenzelm |
clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path);
|
file |
diff |
annotate
|
| 2015-09-11 |
wenzelm |
more robust init_components: test run of polyml executable on windows appears to disrupt stdin stream of cygwin;
|
file |
diff |
annotate
|
| 2015-06-20 |
wenzelm |
less ambitious USER_HOME on Windows: avoid potentially disconnected share, agree with guess of JVM user.home;
|
file |
diff |
annotate
|
| 2014-10-27 |
wenzelm |
clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
|
file |
diff |
annotate
|
| 2014-10-09 |
wenzelm |
prefer original TEMP from Windows, e.g. relevant for Isabelle distribution within read-only directory (due to its bundled Cygwin and /tmp inside of it);
|
file |
diff |
annotate
|
| 2014-09-21 |
wenzelm |
renamed ISABELLE_POLYML to ML_SYSTEM_POLYML, to avoid overlap with ISABELLE_POLYML_PATH;
|
file |
diff |
annotate
|
| 2014-06-27 |
wenzelm |
sane environment defaults for Mac OS X, based on former App1/script -- e.g. relevant for MacTeX PATH;
|
file |
diff |
annotate
|
| 2014-04-07 |
wenzelm |
provide old-style ISABELLE_SCALA_SCRIPT for uniformity;
|
file |
diff |
annotate
|
| 2014-04-06 |
wenzelm |
shell functions for all Isabelle executables;
|
file |
diff |
annotate
|
| 2014-04-06 |
wenzelm |
renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
|
file |
diff |
annotate
|
| 2013-09-28 |
wenzelm |
remove remains from WinRun4J;
|
file |
diff |
annotate
|
| 2013-09-28 |
wenzelm |
simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);
|
file |
diff |
annotate
|
| 2013-09-26 |
wenzelm |
prefer GNU tar for Isabelle to avoid odd extended header keywords produced by Apple's bsdtar (see also 8f6046b7f850);
|
file |
diff |
annotate
|
| 2013-09-12 |
wenzelm |
reverse orientation of ISABELLE_CLASSPATH;
|
file |
diff |
annotate
|
| 2013-09-12 |
wenzelm |
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
|
file |
diff |
annotate
|
| 2013-06-25 |
wenzelm |
more formal isabelle_admin_build;
|
file |
diff |
annotate
|
| 2012-09-13 |
wenzelm |
more liberal init_components: base dir may get created later when resolving missing components;
|
file |
diff |
annotate
|
| 2012-08-29 |
wenzelm |
provide polyml-5.4.1 as regular component;
|
file |
diff |
annotate
|
| 2012-08-17 |
wenzelm |
direct support for component forests via init_components;
|
file |
diff |
annotate
|
| 2012-08-17 |
wenzelm |
allow to provide external ISABELLE_IDENTIFIER for repository clone -- potentially relevant for isatest and mira;
|
file |
diff |
annotate
|
| 2012-08-14 |
wenzelm |
always retain doc-src (as regular component);
|
file |
diff |
annotate
|
| 2012-08-08 |
wenzelm |
configure Admin as component, with its own lib/Tools;
|
file |
diff |
annotate
|
| 2012-07-27 |
wenzelm |
include doc-src as component, and thus its sessions defined in ROOT;
|
file |
diff |
annotate
|
| 2012-07-25 |
wenzelm |
more standard session setup for WWW_Find;
|
file |
diff |
annotate
|
| 2012-07-23 |
wenzelm |
provide explicit ISABELLE_PLATFORM32 as well;
|
file |
diff |
annotate
|
| 2012-07-23 |
wenzelm |
clarified init_component: always liberal;
|
file |
diff |
annotate
|
| 2012-05-24 |
wenzelm |
simplified Cygwin root: warm start via env, cold start via property, no registry magic;
|
file |
diff |
annotate
|
| 2012-04-25 |
wenzelm |
enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user;
|
file |
diff |
annotate
|
| 2012-04-22 |
wenzelm |
USER_HOME settings variable points to cross-platform user home directory;
|
file |
diff |
annotate
|
| 2012-04-17 |
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
|
| 2012-04-16 |
wenzelm |
more precise handling of java failure, due to missing ISABELLE_JDK_HOME;
|
file |
diff |
annotate
|
| 2012-04-14 |
wenzelm |
more robust invocation via ISABELLE_JDK_HOME and SCALA_HOME;
|
file |
diff |
annotate
|
| 2012-04-14 |
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
|
| 2012-04-01 |
wenzelm |
less brutal return from function, to allow caller to report error;
|
file |
diff |
annotate
|
| 2012-03-26 |
wenzelm |
more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
|
file |
diff |
annotate
|
| 2012-03-01 |
wenzelm |
more tolerant cygpath invocation, allow empty CLASSPATH;
|
file |
diff |
annotate
|
| 2011-09-26 |
wenzelm |
tuned message, which is displayed after termination of Isabelle.app on Mac OS;
|
file |
diff |
annotate
|
| 2011-06-23 |
wenzelm |
ensure export of initial CLASSPATH;
|
file |
diff |
annotate
|
| 2011-02-13 |
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
|
| 2011-02-13 |
wenzelm |
eliminated somewhat obsolete warning -- former "$HOME/Isabelle" vs. "$HOME/isabelle" no longer exist;
|
file |
diff |
annotate
|
| 2011-02-13 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2011-01-21 |
wenzelm |
JVM/Windows: more robust treatment of unicode in file names;
|
file |
diff |
annotate
|
| 2011-01-19 |
wenzelm |
clasrified classpath: add in front in accordance to librarypath (cf. b7cd80330a16), for slightly more robustness;
|
file |
diff |
annotate
|
| 2011-01-19 |
wenzelm |
added librarypath: shared library convenience in bash, keeping LD_LIBRARY_PATH and DYLD_LIBRARY_PATH separate;
|
file |
diff |
annotate
|
| 2011-01-11 |
wenzelm |
isabelle version -i;
|
file |
diff |
annotate
|
| 2010-11-16 |
wenzelm |
init_component: require absolute path (when invoked by user scripts);
|
file |
diff |
annotate
|
| 2010-11-16 |
wenzelm |
paranoia export of CLASSPATH, just in case the initial status via allexport is lost due to other scripts;
|
file |
diff |
annotate
|
| 2010-04-17 |
wenzelm |
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
|
file |
diff |
annotate
|
| 2010-04-17 |
wenzelm |
THIS_CYGWIN;
|
file |
diff |
annotate
|
| 2010-01-04 |
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
|
| 2010-01-04 |
wenzelm |
discontinued old ISABELLE and ISATOOL environment settings;
|
file |
diff |
annotate
|
| 2010-01-04 |
wenzelm |
shell functions "isabelle-process" and "isabelle" refer to the proper executables statically -- for interactive use or sloppy bash scripts;
|
file |
diff |
annotate
|