Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more operations;
  2. more operations;
  3. more formal Mercurial support (with the potential to upgrade to command server);
  4. tuned whitespace;
  5. added isabelle_java cold-start executable;
  6. updated according to 85c83757788c;
Changeset 63999:5649a993666d by wenzelm:
more operations;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 63998:2f38d8aff2f5 by wenzelm:
more operations;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 63997:e11ccb5aa82f by wenzelm:
more formal Mercurial support (with the potential to upgrade to command server);
The file was addedsrc/Pure/General/mercurial.scala
The file was modified src/Pure/Tools/check_sources.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 63996:3f47fec9edfc by wenzelm:
tuned whitespace;
The file was modified src/Pure/Concurrent/standard_thread.scala (diff)
The file was modified src/Pure/General/sqlite.scala (diff)
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 63995:2e4d80723fb0 by wenzelm:
added isabelle_java cold-start executable;
The file was addedbin/isabelle_java
The file was modified NEWS (diff)
The file was modified lib/Tools/install (diff)
The file was modified src/Doc/System/Environment.thy (diff)
Changeset 63994:18cbe1b8d859 by wenzelm:
updated according to 85c83757788c;
The file was modified lib/scripts/getfunctions (diff)