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 tip

updated to flatlaf-1.0-rc3;
15 months ago, by wenzelm
more robust: allow YXML text;
15 months ago, by wenzelm
inherit ISABELLE_TMP from ML process, e.g. required for $AFP/Hello_World/RunningCodeFromIsabelle.thy;
15 months ago, by wenzelm
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
15 months ago, by wenzelm
clarified modules: less redundancy;
15 months ago, by wenzelm
clarified modules: allow early invocation of Scala functions;
15 months ago, by wenzelm
clarified modules: allow early definition of protocol commands;
15 months ago, by wenzelm
clarified links to external files, e.g. .pdf within .thy source document;
15 months ago, by wenzelm
avoid interference with FlatLaf fonts, see also jEdit SVN 24885 'Updated Appearance option pane to allow setting "primary" and "secondary" fonts for all look and feels.' (daleanson 2018-08-30);
15 months ago, by wenzelm
updated to flatlaf-1.0-rc2;
15 months ago, by wenzelm
added lemmas
15 months ago, by nipkow
merged
15 months ago, by wenzelm
updated for release;
15 months ago, by wenzelm
Added tag Isabelle2021-RC4 for changeset 2ab14dbc6feb
15 months ago, by wenzelm
provide naproche-20210201;
15 months ago, by wenzelm
clarified messages;
15 months ago, by wenzelm
more parallel;
15 months ago, by wenzelm
more parallel;
15 months ago, by wenzelm
contributors
15 months ago, by Andreas Lochbihler
hide the internal abbreviations MR and MB
15 months ago, by Andreas Lochbihler
optimize RBT_Impl
15 months ago, by mraszyk
merged
15 months ago, by wenzelm
more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within mixfix declarations (due to extra markup);
15 months ago, by wenzelm
tuned signature: more types;
15 months ago, by wenzelm
clarified signature: proper order;
15 months ago, by wenzelm
clarified signature: more explicit types;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified signature: no symbol markup within XML attributes;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
bundle more libraries from scala-2.12.x, notably for Isabelle/MMT;
15 months ago, by wenzelm
provide naproche-20210129;
15 months ago, by wenzelm
more robust type signatures, notably for the sake of haskell-stack-trace-plugin-0.1.1.1;
15 months ago, by wenzelm
tuned signature (e.g. see HTML.control_block in Isabelle/Scala);
15 months ago, by wenzelm
proper Isabelle environment (amending 31fbde3baa97);
15 months ago, by wenzelm
updated to jdk-15.0.2+7;
15 months ago, by wenzelm
follow Phabricator update 2021 Week 4;
15 months ago, by wenzelm
more NEWS;
15 months ago, by wenzelm
more uniform directory layout for macOS;
15 months ago, by wenzelm
more generic Isabelle_app;
15 months ago, by wenzelm
prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc);
15 months ago, by wenzelm
more robust;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
provide jdk-11.0.10+9.tar.gz LTS for testing (inactive);
15 months ago, by wenzelm
Simpler proof
15 months ago, by nipkow
more robust: support other_isabelle.init_settings for build_history before b93404a4c3dd;
15 months ago, by wenzelm
more robust: defer error in sessions structure to build process;
15 months ago, by wenzelm
merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;
15 months ago, by wenzelm
Added tag Isabelle2021-RC3 for changeset 02422c9add5e
15 months ago, by wenzelm
provide naproche-20210124 (inactive);
15 months ago, by wenzelm
follow stackage update;
15 months ago, by wenzelm
tuned name, e.g. relevant for Naproche-SAD debugging in Isabelle/jEdit;
15 months ago, by wenzelm
more operations for client connection;
15 months ago, by wenzelm
fewer warnings, notably in Naproche-SAD;
16 months ago, by wenzelm
suppress bundled Naproche-SAD component: it is in conflict with building the same from sources;
16 months ago, by wenzelm
more robust etc/settings;
16 months ago, by wenzelm
IDE support for Naproche-SAD;
16 months ago, by wenzelm
proper path;
16 months ago, by wenzelm
support isabelle components -u and -x;
16 months ago, by wenzelm

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

isabelle