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 tip

build only if required, view only after proper build: thus avoid pointless events in "auto build" mode;
23 months ago, by wenzelm
clarified modules;
23 months ago, by wenzelm
maintain document_output meta data;
23 months ago, by wenzelm
clarified modules;
23 months ago, by wenzelm
avoid redundant SelectionChanged events;
23 months ago, by wenzelm
more logging;
23 months ago, by wenzelm
proper symbolic handle on component resources:
23 months ago, by wenzelm
more robust on Windows, where C:\\ and \\SERVER\SHARE cause problems (line 920 of winbasicio.cpp);
23 months ago, by wenzelm
More of Manuel's material, and some changes
23 months ago, by paulson
less verbosity by default, notably for regular "isabelle build -o document";
23 months ago, by wenzelm
clarified message: old-style log is usually empty;
23 months ago, by wenzelm
clarified messages, notably for session "Intro";
23 months ago, by wenzelm
merged
23 months ago, by wenzelm
more general program start message;
23 months ago, by wenzelm
clarified terminology of inlined "PROGRAM START" messages;
23 months ago, by wenzelm

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

isabelle