Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. Added tag Isabelle2020-RC1 for changeset a8849ac415cc
  2. follow Phabricator update 2020 Week 6;
  3. tuned signature;
  4. VSCode extension for official Isabelle release;
  5. more documentation;
  6. tuned GUI;
Changeset 71509:dd69ec936dbf by wenzelm:
Added tag Isabelle2020-RC1 for changeset a8849ac415cc
The file was modified .hgtags (diff)
Changeset 71508:a8849ac415cc by wenzelm:
follow Phabricator update 2020 Week 6;
The file was modified etc/options (diff)
Changeset 71507:39fa41148890 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/thy_output.ML (diff)
Changeset 71506:4197e30040f3 by wenzelm:
VSCode extension for official Isabelle release;
The file was modified src/Tools/VSCode/extension/README.md (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 71505:ae3399b05e9b by wenzelm:
more documentation;
The file was modified NEWS (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 71504:f2a79950748e by wenzelm:
tuned GUI;
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)