18 months ago wenzelm [Sun, 10 Dec 2017 20:29:00 +0100] rev 67178
avoid println with its extra CR on Windows;
src/Pure/Admin/isabelle_cronjob.scala src/Pure/General/output.scala src/Pure/System/getopts.scala src/Pure/System/isabelle_process.scala src/Pure/System/options.scala src/Pure/System/progress.scala src/Pure/Tools/doc.scala src/Pure/Tools/server.scala src/Tools/jEdit/src/scala_console.scala

18 months ago wenzelm [Sun, 10 Dec 2017 18:43:08 +0100] rev 67177
removed obsolete option (see 74a1b722507e);
src/Pure/Thy/present.scala

18 months ago wenzelm [Sun, 10 Dec 2017 18:31:41 +0100] rev 67176
re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
NEWS lib/Tools/document src/Doc/System/Presentation.thy src/Pure/System/isabelle_tool.scala src/Pure/Thy/latex.scala src/Pure/Thy/present.ML src/Pure/Thy/present.scala

18 months ago wenzelm [Sun, 10 Dec 2017 14:50:44 +0100] rev 67175
removed Emacs legacy;
src/Pure/Thy/latex.ML src/Pure/Thy/present.ML

18 months ago wenzelm [Sun, 10 Dec 2017 14:45:12 +0100] rev 67174
more robust Windows support;
src/Pure/Thy/latex.scala

18 months ago wenzelm [Sun, 10 Dec 2017 14:29:14 +0100] rev 67173
more explicit latex errors;
NEWS etc/settings lib/Tools/document src/Pure/PIDE/markup.ML src/Pure/System/isabelle_tool.scala src/Pure/Thy/latex.ML src/Pure/Thy/latex.scala src/Pure/Thy/present.ML src/Pure/Thy/thy_info.ML src/Pure/Thy/thy_output.ML

18 months ago wenzelm [Fri, 08 Dec 2017 23:43:58 +0100] rev 67172
some support for LaTeX;
src/Pure/Thy/latex.scala src/Pure/build-jars

18 months ago nipkow [Wed, 13 Dec 2017 19:28:19 +0100] rev 67171
added lemmas
src/HOL/List.thy

18 months ago nipkow [Wed, 13 Dec 2017 13:25:14 +0100] rev 67170
added min_list and arg_min_list
src/HOL/List.thy

18 months ago nipkow [Wed, 13 Dec 2017 11:44:11 +0100] rev 67169
made arg_min_on definition
src/HOL/Lattices_Big.thy