Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. linear is not needed
  3. more packages;
  4. MySQL setup; tuned;
  5. Apache setup; proper "-" for URL: avoid problems with "_";
  6. some support for Phabricator server;
  7. support for Linux packages;
  8. specific support for Linux, notably Ubuntu/Debian;
Changeset 70972:196b41b9b9c8 by immler:
merged
Changeset 70971:82057e7b9ea0 by immler:
linear is not needed
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
Changeset 70970:80dfc9a2f9c8 by wenzelm:
more packages;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 70969:a48112873f81 by wenzelm:
MySQL setup;<br>tuned;
The file was modified etc/options (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 70968:46847076477c by wenzelm:
Apache setup;<br>proper &quot;-&quot; for URL: avoid problems with &quot;_&quot;;
The file was modified etc/options (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 70967:79736ffe77c3 by wenzelm:
some support for Phabricator server;
The file was addedsrc/Pure/Tools/phabricator.scala
The file was modified etc/options (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 70966:acc3bac0d7c5 by wenzelm:
support for Linux packages;
The file was modified src/Pure/System/linux.scala (diff)
Changeset 70965:fe9496df6298 by wenzelm:
specific support for Linux, notably Ubuntu/Debian;
The file was addedsrc/Pure/System/linux.scala
The file was modified src/Pure/build-jars (diff)