17 months ago hoelzl [Thu, 04 Jan 2018 18:18:57 +0100] rev 67339
HOL-Analysis: add set_integrable_restrict_space
src/HOL/Analysis/Set_Integral.thy

17 months ago haftmann [Wed, 03 Jan 2018 23:18:46 +0100] rev 67338
more correct parentheses
src/Tools/Code/code_runtime.ML

17 months ago wenzelm [Wed, 03 Jan 2018 22:29:31 +0100] rev 67337
more tight HTML output: avoid extra lines within <pre>;
src/Pure/Thy/html.scala src/Pure/Thy/present.scala src/Tools/VSCode/src/state_panel.scala

17 months ago wenzelm [Wed, 03 Jan 2018 20:55:13 +0100] rev 67336
HTML output for Markdown elements;
clarified HTML operations;
etc/isabelle.css src/Pure/PIDE/markup.ML src/Pure/PIDE/markup.scala src/Pure/PIDE/rendering.scala src/Pure/Thy/html.scala src/Pure/Thy/markdown.ML src/Pure/Thy/present.scala

17 months ago blanchet [Wed, 03 Jan 2018 11:06:41 +0100] rev 67335
updated NEWS
NEWS

17 months ago blanchet [Wed, 03 Jan 2018 11:06:36 +0100] rev 67334
removed dead code
src/HOL/Tools/Old_Datatype/old_datatype_aux.ML

17 months ago blanchet [Wed, 03 Jan 2018 11:06:29 +0100] rev 67333
removed old 'add_datatype' ML functions
src/HOL/Tools/Old_Datatype/old_datatype.ML

17 months ago blanchet [Wed, 03 Jan 2018 11:06:13 +0100] rev 67332
kill old size infrastructure
src/HOL/Basic_BNF_LFPs.thy src/HOL/Code_Numeral.thy src/HOL/Library/Multiset.thy src/HOL/Nat.thy src/HOL/Tools/Old_Datatype/old_size.ML

17 months ago haftmann [Tue, 02 Jan 2018 23:04:15 +0100] rev 67331
repaired whitespace accident from 2505cabfc515
src/Pure/thm.ML

17 months ago haftmann [Mon, 01 Jan 2018 20:42:08 +0000] rev 67330
proper namespace for evaluators
src/HOL/Library/code_test.ML src/HOL/Tools/value_command.ML src/Pure/thm.ML