Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. clarified modules;
  3. tuned;
  4. back to exact copy of non-text file (amending dcc8e1d34b18); explicit chmod, since Files.copy appears to copy permissions regardless of StandardCopyOption.COPY_ATTRIBUTES;
Changeset 62974:f17602cbf76a by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 62973:744266e32612 by wenzelm:
clarified modules;
The file was addedsrc/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 removedsrc/Tools/jEdit/src/isabelle_logic.scala
Changeset 62972:0eedd78c2b47 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/isabelle_logic.scala (diff)
Changeset 62971:087e36ce0593 by wenzelm:
back to exact copy of non-text file (amending dcc8e1d34b18);<br>explicit chmod, since Files.copy appears to copy permissions regardless of StandardCopyOption.COPY_ATTRIBUTES;
The file was modified src/Pure/Thy/present.scala (diff)