Summary
- tuned;
- clarified modules;
- tuned;
- back to exact copy of non-text file (amending dcc8e1d34b18); explicit chmod, since Files.copy appears to copy permissions regardless of StandardCopyOption.COPY_ATTRIBUTES;
The file was modified | src/Tools/jEdit/src/jedit_sessions.scala (diff) |
The file was added | src/Tools/jEdit/src/jedit_sessions.scala |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Tools/jEdit/lib/Tools/jedit (diff) |
The file was modified | src/Tools/jEdit/src/isabelle_options.scala (diff) |
The file was modified | src/Tools/jEdit/src/plugin.scala (diff) |
The file was modified | src/Tools/jEdit/src/session_build.scala (diff) |
The file was modified | src/Tools/jEdit/src/theories_dockable.scala (diff) |
The file was removed | src/Tools/jEdit/src/isabelle_logic.scala |
The file was modified | src/Tools/jEdit/src/isabelle_logic.scala (diff) |
The file was modified | src/Pure/Thy/present.scala (diff) |