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

Added tag Isabelle2021-RC6 for changeset ed36e33a2e4b
15 months ago, by wenzelm
updated to flatlaf-1.0;
15 months ago, by wenzelm
tuned NEWS;
15 months ago, by wenzelm
tuned comments;
15 months ago, by wenzelm
more robust interrupt handling as in Future.forked_results (amending 64df1e514005);
15 months ago, by wenzelm
more parallelism: avoid exhaustion of standard thread pool;
15 months ago, by wenzelm
more robust: resolve historic components via current tool to access current server;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
more parallelism;
15 months ago, by wenzelm
more robust ISABELLE_COMPONENT_REPOSITORY: use current value of managing process to avoid its fluctuation in ancient history;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
merged;
15 months ago, by wenzelm
Added tag Isabelle2021-RC5 for changeset a88dbf2a020f
15 months ago, by wenzelm
provide naproche-7d0947a91dd5;
15 months ago, by wenzelm
more complete solutions (amending 4d36070bdbf4);
15 months ago, by wenzelm
terminate faster (following dd9fc8a3036c);
15 months ago, by wenzelm
more robust: accommodate output lines produced by Scala "bash_process";
15 months ago, by wenzelm
updated for release;
15 months ago, by wenzelm
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

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

isabelle