Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 73737 6638323d2774
parent 73735 26cd26aaf108
child 73741 941915a3b811 
--- a/NEWS	Wed May 19 10:41:28 2021 +0200
+++ b/NEWS	Wed May 19 11:15:13 2021 +0200
@@ -49,8 +49,7 @@
   . "pdflatex": as above, but use ISABELLE_PDFLATEX (legacy mode for
     special LaTeX styles)
 
-  . "build": delegate to the executable "./build pdf", using
-    ISABELLE_LUALATEX by default
+  . "build": delegate to the executable "./build pdf"
 
 The presence of a "build" command within the document output directory
 explicitly requires document_build=build. Minor INCOMPATIBILITY, need to
isabelle