Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)";
  2. proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c;
  3. clarified list of presented look-and-feels; clarified signature;
  4. clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
  5. discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it violates translation invariance of commands and may lead to redundant re-checking of PIDE document;
  6. Corrected lemma that was too specific in HOL-Computational_Algebra
Changeset 73119:83a2b6976515 by wenzelm:
proper labels for status message: &quot;sidekick.parsing-complete={0} parsing complete, {1} error(s)&quot;;
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
Changeset 73118:9480a9efe19e by wenzelm:
proper size of buttons in Symbols dockable, e.g. \&lt;A&gt; 0x01d49c vs. \&lt;B&gt; 0x00212c;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 73117:6a6e987552c7 by wenzelm:
clarified list of presented look-and-feels;<br>clarified signature;
The file was modified src/Pure/GUI/gui.scala (diff)
The file was modified src/Pure/Tools/main.scala (diff)
Changeset 73116:b84887a67cc6 by wenzelm:
clarified default L&amp;F of Isabelle/Scala (not Isabelle/jEdit);
The file was modified NEWS (diff)
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 73115:a8e5d7c9a834 by wenzelm:
discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it violates translation invariance of commands and may lead to redundant re-checking of PIDE document;
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/command_span.scala (diff)
Changeset 73114:9bf36baa8686 by manuel eberl _eberlm@in.tum.de_:
Corrected lemma that was too specific in HOL-Computational_Algebra
The file was modified src/HOL/Computational_Algebra/Polynomial.thy (diff)