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
The file was modified NEWS
Changeset 73125:70eabc309de9 by wenzelm:
Added tag Isabelle2021-RC2 for changeset 802647edfe7b
The file was modified .hgtags
Changeset 73124:802647edfe7b by wenzelm:
tuned;
The file was modified CONTRIBUTORS
The file was modified NEWS
Changeset 73123:b4066bad7f76 by wenzelm:
avoid Unicode quotes;
The file was modified src/HOL/Data_Structures/Selection.thy
Changeset 73122:cd0cd534f927 by wenzelm:
clarified pretty margin: attempt to avoid scrollbar;
The file was modified src/Tools/jEdit/src/pretty_text_area.scala
Changeset 73121:6345ad861a36 by wenzelm:
more documentation;
The file was modified NEWS
The file was modified src/Doc/JEdit/JEdit.thy
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
The file was modified src/Pure/Admin/build_status.scala
The file was modified src/Pure/Concurrent/counter.scala
The file was modified src/Pure/Concurrent/future.scala
The file was modified src/Pure/Concurrent/isabelle_thread.scala
The file was modified src/Pure/GUI/gui_thread.scala
The file was modified src/Pure/General/date.scala
The file was modified src/Pure/General/scan.scala
The file was modified src/Pure/General/symbol.scala
The file was modified src/Pure/General/utf8.scala
The file was modified src/Pure/Isar/outer_syntax.scala
The file was modified src/Pure/ML/ml_statistics.scala
The file was modified src/Pure/PIDE/command.scala
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/PIDE/headless.scala
The file was modified src/Pure/PIDE/line.scala
The file was modified src/Pure/PIDE/markup_tree.scala
The file was modified src/Pure/PIDE/session.scala
The file was modified src/Pure/System/cygwin.scala
The file was modified src/Pure/System/linux.scala
The file was modified src/Pure/Thy/bibtex.scala
The file was modified src/Pure/Thy/presentation.scala
The file was modified src/Pure/Thy/thy_syntax.scala
The file was modified src/Pure/Tools/phabricator.scala
The file was modified src/Pure/library.scala
The file was modified src/Tools/VSCode/src/lsp.scala
The file was modified src/Tools/jEdit/src/completion_popup.scala
The file was modified src/Tools/jEdit/src/pretty_text_area.scala
The file was modified src/Tools/jEdit/src/syntax_style.scala