Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. basic setup of Isabelle setup tool --- pure Java, no dependencies;
  2. merged
  3. guess package more directly;
Changeset 73677:73c50ce808ed by wenzelm:
basic setup of Isabelle setup tool --- pure Java, no dependencies;
The file was addedsrc/Tools/Setup/.idea/.name
The file was addedsrc/Tools/Setup/.idea/artifacts/Setup_jar.xml
The file was addedsrc/Tools/Setup/.idea/codeStyles/Project.xml
The file was addedsrc/Tools/Setup/.idea/codeStyles/codeStyleConfig.xml
The file was addedsrc/Tools/Setup/.idea/misc.xml
The file was addedsrc/Tools/Setup/.idea/modules.xml
The file was addedsrc/Tools/Setup/.idea/sbt.xml
The file was addedsrc/Tools/Setup/.idea/vcs.xml
The file was addedsrc/Tools/Setup/.idea/workspace.xml
The file was addedsrc/Tools/Setup/Setup.iml
The file was addedsrc/Tools/Setup/src/META-INF/MANIFEST.MF
The file was addedsrc/Tools/Setup/src/isabelle/setup/Setup.java
Changeset 73676:51429b78aadf by wenzelm:
merged
Changeset 73675:6c56f2ebe157 by wenzelm:
guess package more directly;
The file was modified src/Pure/Tools/scala_project.scala