Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/latex.ML
Thu, 12 Sep 2024 19:52:01 +0200 wenzelm clarified signature; file | diff | annotate
Wed, 11 Sep 2024 21:41:33 +0200 wenzelm clarified modules; file | diff | annotate
Wed, 11 Sep 2024 19:35:21 +0200 wenzelm further clarification of print_mode: PIDE markup depends on "isabelle_process" alone, Latex is stateless; file | diff | annotate
Tue, 10 Sep 2024 19:57:45 +0200 wenzelm clarified print mode "latex": no longer impact Output/Markup/Pretty operations; file | diff | annotate
Tue, 10 Sep 2024 12:05:37 +0200 wenzelm tuned; file | diff | annotate
Mon, 09 Sep 2024 21:32:11 +0200 wenzelm clarified Pretty.markup_block: use value-oriented YXML.output_markup, with final re-interpretation via print_mode in output_tree; file | diff | annotate
Mon, 09 Sep 2024 11:12:13 +0200 wenzelm clarified signature: more explicit type "ops"; file | diff | annotate
Thu, 29 Aug 2024 17:47:29 +0200 wenzelm more scalable pretty printing: avoid exception String.Size at command "value" (line 33 of "$AFP/Iptables_Semantics/Examples/SQRL_Shorewall/Analyze_SQRL_Shorewall.thy") in AFP/c69af9cd3390; file | diff | annotate
Sat, 20 Jan 2024 16:09:35 +0100 wenzelm clarified directories; file | diff | annotate | base
less more (0) tip
isabelle