Summary
- theory qualifier is always session name (see also 31e8a86971a8);
- clarified session structure;
- discontinued somewhat pointless session group: -g ZF may be replaced by -D ~~/src/ZF;
- merged
- clarified empty merge; tuned;
- permissive loaded_theories (amending 67dbf5cdc056): user errors are produced e.g. in Known.make;
- prefer native platform x86-windows, to make this work on x86_64-cygwin;
The file was modified | etc/options (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Tools/imports.scala (diff) |
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/ZF/ROOT (diff) |
The file was modified | src/Pure/Isar/outer_syntax.scala (diff) |
The file was modified | src/Pure/Thy/thy_info.scala (diff) |
The file was modified | src/Pure/Thy/thy_info.scala (diff) |
The file was modified | Admin/components/main (diff) |