Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. back to post-release mode;
  2. Added tag Isabelle2021-RC2 for changeset 802647edfe7b
  3. tuned;
  4. avoid Unicode quotes;
  5. clarified pretty margin: attempt to avoid scrollbar;
  6. more documentation;
  7. more informative errors: simplify diagnosis of spurious failures reported by users;
Changeset 73126:1105c42722dc by wenzelm:
back to post-release mode;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 73125:70eabc309de9 by wenzelm:
Added tag Isabelle2021-RC2 for changeset 802647edfe7b
The file was modified .hgtags (diff)
Changeset 73124:802647edfe7b by wenzelm:
tuned;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 73123:b4066bad7f76 by wenzelm:
avoid Unicode quotes;
The file was modified src/HOL/Data_Structures/Selection.thy (diff)
Changeset 73122:cd0cd534f927 by wenzelm:
clarified pretty margin: attempt to avoid scrollbar;
The file was modified src/Tools/jEdit/src/pretty_text_area.scala (diff)
Changeset 73121:6345ad861a36 by wenzelm:
more documentation;
The file was modified NEWS (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 73120:c3589f2dff31 by wenzelm:
more informative errors: simplify diagnosis of spurious failures reported by users;
The file was modified src/Pure/Admin/build_cygwin.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Concurrent/counter.scala (diff)
The file was modified src/Pure/Concurrent/future.scala (diff)
The file was modified src/Pure/Concurrent/isabelle_thread.scala (diff)
The file was modified src/Pure/GUI/gui_thread.scala (diff)
The file was modified src/Pure/General/date.scala (diff)
The file was modified src/Pure/General/scan.scala (diff)
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Pure/General/utf8.scala (diff)
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
The file was modified src/Pure/ML/ml_statistics.scala (diff)
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/PIDE/line.scala (diff)
The file was modified src/Pure/PIDE/markup_tree.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/System/cygwin.scala (diff)
The file was modified src/Pure/System/linux.scala (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Thy/thy_syntax.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
The file was modified src/Pure/library.scala (diff)
The file was modified src/Tools/VSCode/src/lsp.scala (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
The file was modified src/Tools/jEdit/src/pretty_text_area.scala (diff)
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)