Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more tight HTML output: avoid extra lines within <pre>;
  2. HTML output for Markdown elements; clarified HTML operations;
  3. updated NEWS
  4. removed dead code
  5. removed old 'add_datatype' ML functions
  6. kill old size infrastructure
Changeset 67337:4254cfd15b00 by wenzelm:
more tight HTML output: avoid extra lines within &lt;pre&gt;;
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
Changeset 67336:3ee6da378183 by wenzelm:
HTML output for Markdown elements;<br>clarified HTML operations;
The file was modified etc/isabelle.css (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Pure/Thy/markdown.ML (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 67335:641d7da6ff96 by blanchet:
updated NEWS
The file was modified NEWS (diff)
Changeset 67334:51a7c90fbf19 by blanchet:
removed dead code
The file was modified src/HOL/Tools/Old_Datatype/old_datatype_aux.ML (diff)
Changeset 67333:ac0b81ca3ed5 by blanchet:
removed old &#039;add_datatype&#039; ML functions
The file was modified src/HOL/Tools/Old_Datatype/old_datatype.ML (diff)
Changeset 67332:cb96edae56ef by blanchet:
kill old size infrastructure
The file was modified src/HOL/Basic_BNF_LFPs.thy (diff)
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Nat.thy (diff)
The file was removedsrc/HOL/Tools/Old_Datatype/old_size.ML