isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 tip

drop pointless print_mode operations Output.output / Output.escape;
4 months ago, by wenzelm
clarified signature: prefer explicit type Bytes.T;
5 months ago, by wenzelm
clarified signature, roughly following Isabelle/Scala;
5 months ago, by wenzelm
clarified print mode "latex": no longer impact Output/Markup/Pretty operations;
5 months ago, by wenzelm
tuned comments, following Isabelle/ML;
5 months ago, by wenzelm
tuned module structure;
5 months ago, by wenzelm
tuned;
5 months ago, by wenzelm
clarified unbreakable latex output: Pretty.unformatted and (Pretty.string_of o Pretty.unbreakable) should coincide, but are produced by quite different means;
5 months ago, by wenzelm
clarified signature;
5 months ago, by wenzelm
tuned signature;
5 months ago, by wenzelm
tuned;
5 months ago, by wenzelm
minor performance tuning, following Isabelle/Scala;
5 months ago, by wenzelm
tuned;
5 months ago, by wenzelm
tuned signature;
5 months ago, by wenzelm
more scalable;
5 months ago, by wenzelm
tuned;
5 months ago, by wenzelm
eliminate print mode "code_presentation" thanks to value-oriented Pretty.T operations;
5 months ago, by wenzelm
NEWS: value-oriented Pretty.T;
5 months ago, by wenzelm
proper formal sections;
5 months ago, by wenzelm
tuned signature: more options;
5 months ago, by wenzelm
clarified Pretty.markup_block: use value-oriented YXML.output_markup, with final re-interpretation via print_mode in output_tree;
5 months ago, by wenzelm
minor performance tuning;
5 months ago, by wenzelm
unused;
5 months ago, by wenzelm
prefer static YXML.output_markup_only (without print_mode): Output.status is only relevant for PIDE (with print_mode "isabelle_process");
5 months ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 tip

isabelle