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 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip

raw_execute: let IOException pass-through unhindered (again);
2010-09-18, by wenzelm
mkfifo: some workaround to ensure reasonably unique id, even on Cygwin where $PPID might fall back on odd default;
2010-09-18, by wenzelm
Isabelle_System.mk_fifo: more robust enumeration of unique names, based on persisting JVM pid (parent of shell process);
2010-09-18, by wenzelm
slightly more robust Isabelle_Process startup -- NB: openening fifo streams synchronizes with other end, which may fail to reach that point;
2010-09-18, by wenzelm
tuned;
2010-09-18, by wenzelm
separate Isabelle.logic_selector;
2010-09-18, by wenzelm
non-editable text area;
2010-09-18, by wenzelm
basic setup for prover session panel;
2010-09-18, by wenzelm
ML_Syntax.print_char: more readable output of some well-known ASCII controls -- this is relevant for ML toplevel pp;
2010-09-17, by wenzelm
discontinued Output.debug, which belongs to early PGIP experiments (b6788dbd2ef9) and causes just too many problems (like spamming the message channel if it is used by more than one module);
2010-09-17, by wenzelm
Isabelle_Markup.overview_color: indicate error / warning messages;
2010-09-17, by wenzelm
some specific message classification;
2010-09-17, by wenzelm
Syntax.read_asts error: report token ranges within message -- no side-effect here;
2010-09-17, by wenzelm
Isabelle_Process: status/report do not require serial numbers;
2010-09-17, by wenzelm
simplified some internal flags using Config.T instead of full-blown Proof_Data;
2010-09-17, by wenzelm

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

isabelle