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
-30
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
more robust: defer error in sessions structure to build process;
default
tip
26 hours ago, by wenzelm
merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;
2 days ago, by wenzelm
Added tag Isabelle2021-RC3 for changeset 02422c9add5e
2 days ago, by wenzelm
provide naproche-20210124 (inactive);
2 days ago, by wenzelm
follow stackage update;
2 days ago, by wenzelm
tuned name, e.g. relevant for Naproche-SAD debugging in Isabelle/jEdit;
2 days ago, by wenzelm
more operations for client connection;
2 days ago, by wenzelm
fewer warnings, notably in Naproche-SAD;
3 days ago, by wenzelm
suppress bundled Naproche-SAD component: it is in conflict with building the same from sources;
3 days ago, by wenzelm
more robust etc/settings;
4 days ago, by wenzelm
IDE support for Naproche-SAD;
4 days ago, by wenzelm
proper path;
4 days ago, by wenzelm
support isabelle components -u and -x;
5 days ago, by wenzelm
proper typescript version, required for "vsce package";
6 days ago, by wenzelm
auto-update;
6 days ago, by wenzelm
auto-update;
6 days ago, by wenzelm
proper type constraint;
6 days ago, by wenzelm
VSCode extension for official Isabelle release;
6 days ago, by wenzelm
proper message;
6 days ago, by wenzelm
unused;
6 days ago, by wenzelm
proper heap_free;
7 days ago, by wenzelm
suppress markup for literal tokens with block control symbols, for better PIDE/HTML output (see also d15fe10593ff);
7 days ago, by wenzelm
clarified documentation concerning macOS Big Sur;
7 days ago, by wenzelm
more systematic java-gui-setup, also for "isabelle jedit" command-line tool;
7 days ago, by wenzelm
updated to flatlaf-1.0-rc1;
7 days ago, by wenzelm
tuned;
7 days ago, by wenzelm
tuned proofs;
8 days ago, by wenzelm
tuned;
8 days ago, by wenzelm
obsolete;
8 days ago, by wenzelm
clarified platforms;
8 days ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
tip