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 -32 +32 +50 +100 +300 +1000 +3000 +10000 tip

updated for release;
2020-03-21, by wenzelm
tuned bib;
2020-03-21, by wenzelm
more documentation on view.antiAlias, not just NEWS;
2020-03-21, by wenzelm
more NEWS;
2020-03-20, by wenzelm
avoid premature crash due to missing session parents/imports;
2020-03-20, by wenzelm
avoid accidental update of base session sources (following documentation in "system" manual);
2020-03-20, by wenzelm
avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending a829207b32a3);
2020-03-20, by wenzelm
prefer subpixel antialiasing by default: rendering of text is usually much faster, notably on Linux (see also 093ab1a99eb6 and f610115ca3d0);
2020-03-20, by wenzelm
slightly more explicit error, without going into the graph of proof futures;
2020-03-18, by wenzelm
more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);
2020-03-18, by wenzelm
prefer strict qualification (default for 'interpretation', see 461ee3e49ad3) as proposed by Pedro Sánchez Terraf;
2020-03-18, by wenzelm
tuned documentation, based on hints by Pedro Sánchez Terraf;
2020-03-18, by wenzelm
backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;
2020-03-18, by wenzelm
back to old-style names for uniform sorting of build_status (amending 138e8226961e);
2020-03-19, by wenzelm
support actual_host for lrzcloud2: the proxy_host/sshd cannot resolve invented hostname (amending 1d8b6c2253e6);
2020-03-19, by wenzelm
clarified connection parameters (again, after adjusting $HOME/.ssh configuration);
2020-03-18, by wenzelm
clarified output;
2020-03-18, by wenzelm
proper host for ssh.hg_url (required aliasing works via $HOME/.ssh/config);
2020-03-16, by wenzelm
clarified connection parameters;
2020-03-16, by wenzelm
clarified test;
2020-03-15, by wenzelm
remove Thm.transfer workaround made obsplete by cf2406e654cf
2020-03-15, by traytel
back to post-release mode;
2020-03-15, by wenzelm
Added tag Isabelle2020-RC2 for changeset 7eadccd4392c
2020-03-15, by wenzelm
claried error elements: include internalized errors of tokens/commands;
2020-03-15, by wenzelm
more robust connection via proxy_host;
2020-03-15, by wenzelm
more robust: proper transfer if Context.eq_thy_id;
2020-03-14, by wenzelm
merged
2020-03-14, by wenzelm
tuned;
2020-03-14, by wenzelm
tuned;
2020-03-14, by wenzelm
more robust hg_url;
2020-03-14, by wenzelm
proper usage (amending 8c7706b053c7);
2020-03-13, by wenzelm
proper escape for literal single quotes;
2020-03-13, by wenzelm

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

isabelle