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

merged
2020-03-25, by paulson
updated to more modern style
2020-03-25, by paulson
updated to scala-2.12.11;
2020-03-23, by wenzelm
merged
2020-03-23, by paulson
put back Nat.le_diff_conv2 because AUTO2 doesn't work with Groups.le_diff_conv2
2020-03-23, by paulson
merged
2020-03-22, by paulson
new-style Greater lemmas
2020-03-22, by paulson
tidying up some horrible proofs
2020-03-22, by paulson
avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph spacing changed from jdk-8 to jdk-11" https://bugs.openjdk.java.net/browse/JDK-8217731 even though the changelog claims to have resolved this;
2020-03-22, by wenzelm
tuned;
2020-03-22, by wenzelm
merged;
2020-03-21, by wenzelm
more NEWS;
2020-03-21, by wenzelm
delete Isabelle distribution archive after use;
2020-03-21, by wenzelm
documentation for "isabelle build_docker";
2020-03-21, by wenzelm
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
some uses of "' " as witness for this feature;
2020-03-13, by wenzelm
allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c, but broken in be8a8d60d962);
2020-03-13, by wenzelm
tidied up a few little proofs
2020-03-14, by paulson
updated for release;
2020-03-12, by wenzelm
more usable defaults for high resolution on Linux, where the desktop environment usually lacks automatic scaling;
2020-03-12, by wenzelm
tuned for Isabelle2020;
2020-03-12, by wenzelm
more explicit defaults;
2020-03-12, by wenzelm
proper transfer for Thm.derivation_name;
2020-03-12, by wenzelm
tuned OS names;
2020-03-10, by wenzelm
standard tests for macOS 10.15 Catalina;
2020-03-10, by wenzelm
updated NEWS w.r.t. e0237f2eb49d
2020-03-10, by Manuel Eberl
more frugal simp rules for bit operations; more pervasive use of bit selector
2020-03-08, by haftmann
more scalable output of YXML files;
2020-03-09, by wenzelm
proper grounding of free types produced by reconstruct_proof/infer_type, e.g. relevant for Lattices_Big.semilattice_set.infinite;
2020-03-09, by wenzelm

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

isabelle