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

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
clarified signature: more explicit type output_ops: default via print_mode;
5 months ago, by wenzelm
discontinued unused global variable (see also following bf465f335e85);
5 months ago, by wenzelm
tuned signature;
5 months ago, by wenzelm
clarified modules (see also ea7c2ee8a47a);
5 months ago, by wenzelm
clarified signature: more explicit type "ops";
5 months ago, by wenzelm
more thorough Protocol_Message.clean_output, following Isabelle/Scala;
5 months ago, by wenzelm
more accurate output, following 3f02bc5a5a03;
5 months ago, by wenzelm
clarified signature;
5 months ago, by wenzelm
clarified signature;
5 months ago, by wenzelm
misc tuning and clarification;
5 months ago, by wenzelm
proper signature (amending 0f820da558f9);
5 months ago, by wenzelm
more accurate output: observe depth as in "prune" operation;
5 months ago, by wenzelm

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

isabelle