Summary
- tuned proof;
- merged
- slightly more robust re-initialization;
- isabelle_scala_script is usually found by PATH;
- within the Isabelle environment, main executables are always within PATH;
- avoid global state change;
- more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash;
The file was modified | src/HOL/Library/Convex.thy (diff) |
The file was modified | lib/scripts/getfunctions (diff) |
The file was modified | lib/scripts/getsettings (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/System/Scala.thy (diff) |
The file was modified | lib/scripts/getfunctions (diff) |
The file was modified | lib/scripts/getsettings (diff) |
The file was modified | lib/scripts/getfunctions (diff) |
The file was modified | lib/scripts/getsettings (diff) |
The file was added | lib/scripts/getfunctions |
The file was modified | lib/scripts/getsettings (diff) |