| Mon, 01 Mar 2021 20:12:09 +0100 |
wenzelm |
tuned --- fewer warnings;
|
changeset |
files
|
| Mon, 01 Mar 2021 20:04:33 +0100 |
wenzelm |
tuned --- fewer warnings;
|
changeset |
files
|
| Mon, 01 Mar 2021 19:41:52 +0100 |
wenzelm |
tuned --- fewer warnings;
|
changeset |
files
|
| Mon, 01 Mar 2021 18:31:11 +0100 |
wenzelm |
clarified signature, according to Isabelle/Scala;
|
changeset |
files
|
| Mon, 01 Mar 2021 18:24:50 +0100 |
wenzelm |
download more directly, via means of JVM;
|
changeset |
files
|
| Mon, 01 Mar 2021 18:24:27 +0100 |
wenzelm |
download on separate thread;
|
changeset |
files
|
| Mon, 01 Mar 2021 18:11:06 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 01 Mar 2021 17:44:44 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 01 Mar 2021 15:09:57 +0100 |
wenzelm |
proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);
|
changeset |
files
|
| Mon, 01 Mar 2021 14:58:00 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 01 Mar 2021 08:16:22 +0100 |
haftmann |
NEWS
|
changeset |
files
|
| Sun, 28 Feb 2021 20:13:07 +0000 |
haftmann |
lemma diffusion
|
changeset |
files
|
| Sun, 28 Feb 2021 20:13:07 +0000 |
haftmann |
more connections between mset _ = mset _ and permutations
|
changeset |
files
|
| Sun, 28 Feb 2021 20:13:07 +0000 |
haftmann |
dissolve theory with duplicated name from afp
|
changeset |
files
|
| Sun, 28 Feb 2021 21:31:35 +0100 |
wenzelm |
more robust (amending 87403fde8cc3): notably allow symlink to existing directory, which Files.createDirectories does not accept;
|
changeset |
files
|
| Sat, 27 Feb 2021 22:17:56 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
changeset |
files
|
| Sat, 27 Feb 2021 21:36:58 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
changeset |
files
|
| Sat, 27 Feb 2021 21:01:07 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
changeset |
files
|
| Sat, 27 Feb 2021 20:49:38 +0100 |
wenzelm |
proper src1, amending 20157c8ab3f3;
|
changeset |
files
|
| Sat, 27 Feb 2021 19:51:56 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 27 Feb 2021 19:45:33 +0100 |
wenzelm |
proper File.eq, amending df49ca5da9d0;
|
changeset |
files
|
| Sat, 27 Feb 2021 19:42:44 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 27 Feb 2021 18:04:29 +0100 |
wenzelm |
clarified modules: more like ML;
|
changeset |
files
|
| Sat, 27 Feb 2021 17:33:40 +0100 |
wenzelm |
obsolete;
|
changeset |
files
|
| Sat, 27 Feb 2021 17:32:02 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 27 Feb 2021 17:25:54 +0100 |
wenzelm |
more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552);
|
changeset |
files
|
| Sat, 27 Feb 2021 16:33:16 +0100 |
wenzelm |
discontinued somewhat pointless "integrity test of build_history": it fails right now, but also failed to expose spurious incompatibilities when it was working;
|
changeset |
files
|
| Sat, 27 Feb 2021 13:39:06 +0100 |
wenzelm |
more checks;
|
changeset |
files
|
| Sat, 27 Feb 2021 13:37:04 +0100 |
wenzelm |
clarified message;
|
changeset |
files
|
| Sat, 27 Feb 2021 13:20:52 +0100 |
wenzelm |
clarified message;
|
changeset |
files
|
| Sat, 27 Feb 2021 13:01:36 +0100 |
wenzelm |
clarified comments;
|
changeset |
files
|
| Sat, 27 Feb 2021 11:51:39 +0100 |
wenzelm |
clarified message;
|
changeset |
files
|
| Fri, 26 Feb 2021 11:46:58 +0100 |
nipkow |
improved list_neq simproc
|
changeset |
files
|
| Thu, 25 Feb 2021 13:35:54 +0100 |
haftmann |
merged
|
changeset |
files
|
| Wed, 24 Feb 2021 21:45:09 +0100 |
haftmann |
repaired document
|
changeset |
files
|
| Wed, 24 Feb 2021 18:41:39 +0000 |
paulson |
merged
|
changeset |
files
|
| Wed, 24 Feb 2021 14:49:36 +0000 |
paulson |
merged
|
changeset |
files
|
| Wed, 24 Feb 2021 14:49:16 +0000 |
paulson |
A couple of basic lemmas about arg
|
changeset |
files
|
| Wed, 24 Feb 2021 13:31:33 +0000 |
haftmann |
multiset as equivalence class of permuted lists
|
changeset |
files
|
| Wed, 24 Feb 2021 13:31:28 +0000 |
haftmann |
emphasize connection to multisets
|
changeset |
files
|
| Wed, 24 Feb 2021 18:54:53 +0100 |
wenzelm |
proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work;
|
changeset |
files
|
| Tue, 23 Feb 2021 23:00:08 +0100 |
wenzelm |
more on Isabelle_System.bash;
|
changeset |
files
|
| Tue, 23 Feb 2021 20:41:48 +0000 |
haftmann |
more specific name
|
changeset |
files
|
| Tue, 23 Feb 2021 20:41:48 +0000 |
haftmann |
more lemmas
|
changeset |
files
|
| Tue, 23 Feb 2021 20:41:48 +0000 |
haftmann |
dropped obscure FIXME
|
changeset |
files
|
| Tue, 23 Feb 2021 12:20:50 +0100 |
desharna |
proper usage of hypotheses for zipperposition's TPTP generation
|
changeset |
files
|
| Tue, 23 Feb 2021 10:13:09 +0100 |
desharna |
merged
|
changeset |
files
|
| Fri, 19 Feb 2021 11:52:34 +0100 |
desharna |
tuned Mirabelle to parse option check_trivial only once
|
changeset |
files
|
| Mon, 15 Feb 2021 08:36:19 +0100 |
desharna |
merged
|
changeset |
files
|
| Fri, 12 Feb 2021 11:21:44 +0100 |
desharna |
merged
|
changeset |
files
|
| Fri, 12 Feb 2021 11:18:44 +0100 |
desharna |
added stride option to Mirabelle
|
changeset |
files
|
| Fri, 12 Feb 2021 11:18:12 +0100 |
desharna |
proper prover capabilities for zipperposition
|
changeset |
files
|
| Mon, 22 Feb 2021 23:31:59 +0100 |
wenzelm |
NEWS;
|
changeset |
files
|
| Mon, 22 Feb 2021 22:41:50 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 22 Feb 2021 22:06:41 +0100 |
wenzelm |
clarified uses of Isabelle_System.bash_process: more checks, fewer messages;
|
changeset |
files
|
| Mon, 22 Feb 2021 18:19:38 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 22 Feb 2021 18:16:56 +0100 |
wenzelm |
more direct timing from bash_process wrapper;
|
changeset |
files
|
| Mon, 22 Feb 2021 17:19:05 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 22 Feb 2021 17:17:30 +0100 |
wenzelm |
clarified signature, following Isabelle/Scala;
|
changeset |
files
|
| Mon, 22 Feb 2021 16:58:56 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 22 Feb 2021 16:54:33 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 22 Feb 2021 16:45:41 +0100 |
wenzelm |
clarified signature: Isabelle_System.bash_process is strict and thus cannot check for interrupt_return_code;
|
changeset |
files
|
| Mon, 22 Feb 2021 15:24:04 +0100 |
wenzelm |
clarified signature: always trim_line of Process_Result.out/err, uniformly in ML and Scala;
|
changeset |
files
|
| Mon, 22 Feb 2021 15:20:45 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 22 Feb 2021 14:48:03 +0100 |
wenzelm |
clarified signature, following Isabelle/Scala;
|
changeset |
files
|
| Mon, 22 Feb 2021 13:29:55 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 22 Feb 2021 12:30:05 +0100 |
wenzelm |
clarified signature: process_result timing from Isabelle/Scala;
|
changeset |
files
|
| Mon, 22 Feb 2021 18:28:12 +0000 |
haftmann |
NEWS
|
changeset |
files
|
| Mon, 22 Feb 2021 07:49:51 +0000 |
haftmann |
dedicated locale for preorder and abstract bdd operation
|
changeset |
files
|
| Mon, 22 Feb 2021 07:49:48 +0000 |
haftmann |
get rid of traditional predicate
|
changeset |
files
|
| Sun, 21 Feb 2021 13:33:05 +0100 |
wenzelm |
proper treatment of process_result;
|
changeset |
files
|
| Sun, 21 Feb 2021 13:14:08 +0100 |
wenzelm |
more accurate process_result in ML, corresponding to Process_Result in Scala;
|
changeset |
files
|
| Sun, 21 Feb 2021 12:24:40 +0100 |
wenzelm |
clarified: proper trim_line for error;
|
changeset |
files
|
| Sun, 21 Feb 2021 11:53:05 +0100 |
wenzelm |
unused;
|
changeset |
files
|
| Sun, 21 Feb 2021 00:49:09 +0100 |
wenzelm |
clarified lines (again);
|
changeset |
files
|
| Sat, 20 Feb 2021 23:01:35 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Sat, 20 Feb 2021 22:09:16 +0100 |
wenzelm |
more uniform Bash.process: always ask Isabelle/Scala;
|
changeset |
files
|
| Sat, 20 Feb 2021 21:38:23 +0100 |
wenzelm |
more reactive protocol messages, e.g. for Scala.function (relevant for Bash.process);
|
changeset |
files
|
| Sat, 20 Feb 2021 20:23:30 +0100 |
wenzelm |
clarified compiler options;
|
changeset |
files
|
| Sat, 20 Feb 2021 20:10:09 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Sat, 20 Feb 2021 17:28:56 +0100 |
wenzelm |
removed obsolete RC tags;
|
changeset |
files
|
| Sat, 20 Feb 2021 17:21:48 +0100 |
wenzelm |
more hints;
|
changeset |
files
|
| Sat, 20 Feb 2021 17:04:26 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 20 Feb 2021 13:49:24 +0100 |
wenzelm |
Added tag Isabelle2021 for changeset 7e2a9a8c2b85
|
changeset |
files
|
| Sat, 20 Feb 2021 13:42:37 +0100 |
wenzelm |
provide naproche-755224402e36;
Isabelle2021
|
changeset |
files
|
| Fri, 19 Feb 2021 22:50:10 +0100 |
wenzelm |
provide naproche-4ad61140062f;
|
changeset |
files
|
| Fri, 19 Feb 2021 13:42:12 +0100 |
Manuel Eberl |
HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc.
|
changeset |
files
|
| Tue, 16 Feb 2021 17:12:02 +0000 |
paulson |
tidied up a few ugly proofs
|
changeset |
files
|
| Sun, 14 Feb 2021 20:13:13 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 14 Feb 2021 17:32:06 +0100 |
wenzelm |
provide naproche-6d0d76ce2f2a;
|
changeset |
files
|
| Sun, 14 Feb 2021 15:40:38 +0100 |
wenzelm |
Added tag Isabelle2021-RC6 for changeset ed36e33a2e4b
|
changeset |
files
|
| Sat, 13 Feb 2021 21:19:53 +0100 |
wenzelm |
updated to flatlaf-1.0;
|
changeset |
files
|
| Sat, 13 Feb 2021 20:39:29 +0100 |
wenzelm |
tuned NEWS;
|
changeset |
files
|
| Wed, 10 Feb 2021 22:30:51 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Tue, 09 Feb 2021 15:40:23 +0100 |
wenzelm |
more robust interrupt handling as in Future.forked_results (amending 64df1e514005);
|
changeset |
files
|
| Tue, 09 Feb 2021 14:55:36 +0100 |
wenzelm |
more parallelism: avoid exhaustion of standard thread pool;
|
changeset |
files
|
| Fri, 12 Feb 2021 12:13:24 +0100 |
wenzelm |
more robust: resolve historic components via current tool to access current server;
|
changeset |
files
|
| Fri, 12 Feb 2021 12:11:35 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 11 Feb 2021 14:55:57 +0100 |
wenzelm |
more parallelism;
|
changeset |
files
|
| Tue, 09 Feb 2021 14:13:03 +0100 |
wenzelm |
more robust ISABELLE_COMPONENT_REPOSITORY: use current value of managing process to avoid its fluctuation in ancient history;
|
changeset |
files
|
| Tue, 09 Feb 2021 14:03:05 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 08 Feb 2021 23:14:56 +0100 |
wenzelm |
merged;
|
changeset |
files
|
| Mon, 08 Feb 2021 20:56:12 +0100 |
wenzelm |
Added tag Isabelle2021-RC5 for changeset a88dbf2a020f
|
changeset |
files
|
| Mon, 08 Feb 2021 20:47:56 +0100 |
wenzelm |
provide naproche-7d0947a91dd5;
|
changeset |
files
|
| Sun, 07 Feb 2021 22:19:39 +0100 |
wenzelm |
more complete solutions (amending 4d36070bdbf4);
|
changeset |
files
|
| Sun, 07 Feb 2021 21:27:48 +0100 |
wenzelm |
terminate faster (following dd9fc8a3036c);
|
changeset |
files
|
| Sun, 07 Feb 2021 21:25:21 +0100 |
wenzelm |
more robust: accommodate output lines produced by Scala "bash_process";
|
changeset |
files
|
| Sun, 07 Feb 2021 20:44:44 +0100 |
wenzelm |
updated for release;
|
changeset |
files
|
| Sun, 07 Feb 2021 20:43:47 +0100 |
wenzelm |
updated to flatlaf-1.0-rc3;
|
changeset |
files
|
| Sun, 07 Feb 2021 20:39:15 +0100 |
wenzelm |
more robust: allow YXML text;
|
changeset |
files
|
| Sun, 07 Feb 2021 17:00:03 +0100 |
wenzelm |
inherit ISABELLE_TMP from ML process, e.g. required for $AFP/Hello_World/RunningCodeFromIsabelle.thy;
|
changeset |
files
|
| Sun, 07 Feb 2021 16:31:43 +0100 |
wenzelm |
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
|
changeset |
files
|
| Sun, 07 Feb 2021 15:32:57 +0100 |
wenzelm |
clarified modules: less redundancy;
|
changeset |
files
|
| Sun, 07 Feb 2021 12:55:41 +0100 |
wenzelm |
clarified modules: allow early invocation of Scala functions;
|
changeset |
files
|
| Sun, 07 Feb 2021 12:30:52 +0100 |
wenzelm |
clarified modules: allow early definition of protocol commands;
|
changeset |
files
|
| Wed, 03 Feb 2021 20:18:34 +0100 |
wenzelm |
clarified links to external files, e.g. .pdf within .thy source document;
|
changeset |
files
|
| Mon, 01 Feb 2021 18:12:44 +0100 |
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);
|
changeset |
files
|
| Mon, 01 Feb 2021 17:15:00 +0100 |
wenzelm |
updated to flatlaf-1.0-rc2;
|
changeset |
files
|
| Mon, 08 Feb 2021 19:48:45 +0100 |
nipkow |
added lemmas
|
changeset |
files
|
| Mon, 01 Feb 2021 16:03:07 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 01 Feb 2021 14:01:01 +0100 |
wenzelm |
updated for release;
|
changeset |
files
|
| Mon, 01 Feb 2021 13:50:41 +0100 |
wenzelm |
Added tag Isabelle2021-RC4 for changeset 2ab14dbc6feb
|
changeset |
files
|
| Mon, 01 Feb 2021 13:29:22 +0100 |
wenzelm |
provide naproche-20210201;
|
changeset |
files
|
| Sun, 31 Jan 2021 20:44:42 +0100 |
wenzelm |
clarified messages;
|
changeset |
files
|
| Sun, 31 Jan 2021 20:39:16 +0100 |
wenzelm |
more parallel;
|
changeset |
files
|
| Sun, 31 Jan 2021 19:46:40 +0100 |
wenzelm |
more parallel;
|
changeset |
files
|
| Sun, 31 Jan 2021 12:10:20 +0100 |
Andreas Lochbihler |
contributors
|
changeset |
files
|
| Sun, 31 Jan 2021 08:49:47 +0100 |
Andreas Lochbihler |
hide the internal abbreviations MR and MB
|
changeset |
files
|
| Fri, 29 Jan 2021 13:06:29 +0100 |
mraszyk |
optimize RBT_Impl
|
changeset |
files
|
| Sat, 30 Jan 2021 21:43:13 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 30 Jan 2021 20:47:00 +0100 |
wenzelm |
more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within mixfix declarations (due to extra markup);
|
changeset |
files
|
| Sat, 30 Jan 2021 19:36:42 +0100 |
wenzelm |
tuned signature: more types;
|
changeset |
files
|
| Sat, 30 Jan 2021 19:33:14 +0100 |
wenzelm |
clarified signature: proper order;
|
changeset |
files
|
| Sat, 30 Jan 2021 19:29:22 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sat, 30 Jan 2021 18:58:56 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 30 Jan 2021 18:34:37 +0100 |
wenzelm |
clarified signature: no symbol markup within XML attributes;
|
changeset |
files
|
| Sat, 30 Jan 2021 17:15:14 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 30 Jan 2021 17:06:13 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 30 Jan 2021 13:46:40 +0100 |
wenzelm |
bundle more libraries from scala-2.12.x, notably for Isabelle/MMT;
|
changeset |
files
|
| Fri, 29 Jan 2021 21:56:14 +0100 |
wenzelm |
provide naproche-20210129;
|
changeset |
files
|
| Thu, 28 Jan 2021 14:20:37 +0100 |
wenzelm |
more robust type signatures, notably for the sake of haskell-stack-trace-plugin-0.1.1.1;
|
changeset |
files
|
| Wed, 27 Jan 2021 14:56:40 +0100 |
wenzelm |
tuned signature (e.g. see HTML.control_block in Isabelle/Scala);
|
changeset |
files
|
| Wed, 27 Jan 2021 14:34:14 +0100 |
wenzelm |
proper Isabelle environment (amending 31fbde3baa97);
|
changeset |
files
|
| Wed, 27 Jan 2021 14:31:46 +0100 |
wenzelm |
updated to jdk-15.0.2+7;
|
changeset |
files
|
| Wed, 27 Jan 2021 13:44:08 +0100 |
wenzelm |
follow Phabricator update 2021 Week 4;
|
changeset |
files
|
| Tue, 26 Jan 2021 23:34:40 +0100 |
wenzelm |
more NEWS;
|
changeset |
files
|
| Tue, 26 Jan 2021 22:46:06 +0100 |
wenzelm |
more uniform directory layout for macOS;
|
changeset |
files
|
| Tue, 26 Jan 2021 21:33:52 +0100 |
wenzelm |
more generic Isabelle_app;
|
changeset |
files
|
| Tue, 26 Jan 2021 20:16:56 +0100 |
wenzelm |
prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc);
|
changeset |
files
|
| Tue, 26 Jan 2021 20:06:38 +0100 |
wenzelm |
more robust;
|
changeset |
files
|
| Tue, 26 Jan 2021 19:55:11 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 25 Jan 2021 15:58:19 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 24 Jan 2021 21:51:00 +0100 |
wenzelm |
provide jdk-11.0.10+9.tar.gz LTS for testing (inactive);
|
changeset |
files
|
| Sat, 30 Jan 2021 07:31:06 +0100 |
nipkow |
Simpler proof
|
changeset |
files
|
| Wed, 27 Jan 2021 13:08:07 +0100 |
wenzelm |
more robust: support other_isabelle.init_settings for build_history before b93404a4c3dd;
|
changeset |
files
|
| Mon, 25 Jan 2021 22:30:39 +0100 |
wenzelm |
more robust: defer error in sessions structure to build process;
|
changeset |
files
|
| Sun, 24 Jan 2021 19:34:37 +0100 |
wenzelm |
merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;
|
changeset |
files
|
| Sun, 24 Jan 2021 17:39:29 +0100 |
wenzelm |
Added tag Isabelle2021-RC3 for changeset 02422c9add5e
|
changeset |
files
|
| Sun, 24 Jan 2021 17:11:40 +0100 |
wenzelm |
provide naproche-20210124 (inactive);
|
changeset |
files
|
| Sun, 24 Jan 2021 16:38:00 +0100 |
wenzelm |
follow stackage update;
|
changeset |
files
|
| Sun, 24 Jan 2021 16:37:46 +0100 |
wenzelm |
tuned name, e.g. relevant for Naproche-SAD debugging in Isabelle/jEdit;
|
changeset |
files
|
| Sun, 24 Jan 2021 13:56:43 +0100 |
wenzelm |
more operations for client connection;
|
changeset |
files
|
| Sat, 23 Jan 2021 17:26:40 +0100 |
wenzelm |
fewer warnings, notably in Naproche-SAD;
|
changeset |
files
|
| Sat, 23 Jan 2021 14:17:02 +0100 |
wenzelm |
suppress bundled Naproche-SAD component: it is in conflict with building the same from sources;
|
changeset |
files
|
| Fri, 22 Jan 2021 19:32:03 +0100 |
wenzelm |
more robust etc/settings;
|
changeset |
files
|
| Fri, 22 Jan 2021 18:44:34 +0100 |
wenzelm |
IDE support for Naproche-SAD;
|
changeset |
files
|
| Fri, 22 Jan 2021 15:58:17 +0100 |
wenzelm |
proper path;
|
changeset |
files
|
| Thu, 21 Jan 2021 16:10:43 +0100 |
wenzelm |
support isabelle components -u and -x;
|
changeset |
files
|
| Wed, 20 Jan 2021 23:31:23 +0100 |
wenzelm |
proper typescript version, required for "vsce package";
|
changeset |
files
|
| Wed, 20 Jan 2021 22:56:37 +0100 |
wenzelm |
auto-update;
|
changeset |
files
|
| Wed, 20 Jan 2021 22:55:57 +0100 |
wenzelm |
auto-update;
|
changeset |
files
|
| Wed, 20 Jan 2021 22:55:22 +0100 |
wenzelm |
proper type constraint;
|
changeset |
files
|
| Wed, 20 Jan 2021 22:43:58 +0100 |
wenzelm |
VSCode extension for official Isabelle release;
|
changeset |
files
|
| Wed, 20 Jan 2021 21:42:04 +0100 |
wenzelm |
proper message;
|
changeset |
files
|
| Wed, 20 Jan 2021 21:18:40 +0100 |
wenzelm |
unused;
|
changeset |
files
|
| Tue, 19 Jan 2021 20:38:05 +0100 |
wenzelm |
proper heap_free;
|
changeset |
files
|
| Tue, 19 Jan 2021 20:23:13 +0100 |
wenzelm |
suppress markup for literal tokens with block control symbols, for better PIDE/HTML output (see also d15fe10593ff);
|
changeset |
files
|
| Tue, 19 Jan 2021 14:14:23 +0100 |
wenzelm |
clarified documentation concerning macOS Big Sur;
|
changeset |
files
|
| Tue, 19 Jan 2021 14:04:31 +0100 |
wenzelm |
more systematic java-gui-setup, also for "isabelle jedit" command-line tool;
|
changeset |
files
|
| Tue, 19 Jan 2021 13:48:53 +0100 |
wenzelm |
updated to flatlaf-1.0-rc1;
|
changeset |
files
|
| Tue, 19 Jan 2021 13:26:38 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 18 Jan 2021 20:35:39 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Mon, 18 Jan 2021 20:17:58 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 18 Jan 2021 20:11:42 +0100 |
wenzelm |
obsolete;
|
changeset |
files
|
| Mon, 18 Jan 2021 19:57:52 +0100 |
wenzelm |
clarified platforms;
|
changeset |
files
|
| Mon, 18 Jan 2021 19:53:20 +0100 |
wenzelm |
more NEWS;
|
changeset |
files
|
| Mon, 18 Jan 2021 19:25:20 +0100 |
wenzelm |
workaround for Big Sur fullscreen mode: better support for JDialog windows (e.g. Find on top of main View);
|
changeset |
files
|
| Mon, 18 Jan 2021 18:05:29 +0100 |
wenzelm |
clarified app identification, potentially relevant for macOS "defaults";
|
changeset |
files
|
| Mon, 18 Jan 2021 17:05:47 +0100 |
wenzelm |
updated documentation: HIDPI works smoothly thanks to FlatLaf;
|
changeset |
files
|
| Mon, 18 Jan 2021 15:46:35 +0100 |
wenzelm |
updated for release;
|
changeset |
files
|
| Mon, 18 Jan 2021 15:22:17 +0100 |
wenzelm |
updated screenshot;
|
changeset |
files
|
| Mon, 18 Jan 2021 13:45:53 +0100 |
wenzelm |
clarified reports before errors: support completion of bibtex entries in Isabelle/Scala (amending d01ea9e3bd2d);
|
changeset |
files
|
| Mon, 18 Jan 2021 13:43:32 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 18 Jan 2021 13:41:54 +0100 |
wenzelm |
proper theory_long_name;
|
changeset |
files
|
| Sun, 17 Jan 2021 23:48:55 +0100 |
wenzelm |
updated screenshots;
|
changeset |
files
|
| Sun, 17 Jan 2021 14:00:23 +0100 |
wenzelm |
more robust GUI, notably for Big Sur full-screen where the hypersearch panel becomes a separate maximized window;
|
changeset |
files
|
| Sun, 17 Jan 2021 11:19:15 +0100 |
wenzelm |
revert 1105c42722dc on isabelle-release branch;
|
changeset |
files
|
| Thu, 21 Jan 2021 18:18:19 +0100 |
wenzelm |
proper hostname;
|
changeset |
files
|
| Thu, 21 Jan 2021 18:06:44 +0100 |
wenzelm |
more official support for macOS 11.1 Big Sur;
|
changeset |
files
|
| Wed, 20 Jan 2021 22:20:26 +0100 |
wenzelm |
more informative error;
|
changeset |
files
|
| Wed, 20 Jan 2021 09:46:01 +0100 |
nipkow |
added lemmas
|
changeset |
files
|
| Sun, 17 Jan 2021 10:53:56 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 17 Jan 2021 00:16:14 +0100 |
wenzelm |
updated to scala-2.13: its ArraySeq implementation is not usable here (requires scala.relection.ClassTag);
|
changeset |
files
|
| Sat, 16 Jan 2021 22:52:43 +0100 |
wenzelm |
updated to scala-2.13.4;
|
changeset |
files
|
| Sat, 16 Jan 2021 19:25:20 +0100 |
wenzelm |
clarified;
|
changeset |
files
|
| Sat, 16 Jan 2021 17:02:14 +0100 |
wenzelm |
clarified return code: re-use SIGALRM for soft timeout;
|
changeset |
files
|
| Sat, 16 Jan 2021 15:43:54 +0100 |
wenzelm |
clarified signature: more operations;
|
changeset |
files
|
| Fri, 15 Jan 2021 14:11:01 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 14 Jan 2021 20:47:09 +0100 |
wenzelm |
clarified signature: support more generic server implementations;
|
changeset |
files
|
| Wed, 13 Jan 2021 12:22:59 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Mon, 11 Jan 2021 15:43:51 +0100 |
wenzelm |
proper </html>;
|
changeset |
files
|
| Sun, 10 Jan 2021 22:17:11 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Thu, 14 Jan 2021 16:58:04 +0000 |
paulson |
new magerial from Jakub Kądziołka
|
changeset |
files
|
| Sun, 10 Jan 2021 15:48:15 +0100 |
wenzelm |
back to post-release mode;
|
changeset |
files
|
| Sun, 10 Jan 2021 15:39:02 +0100 |
wenzelm |
Added tag Isabelle2021-RC2 for changeset 802647edfe7b
|
changeset |
files
|
| Sun, 10 Jan 2021 15:35:24 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 10 Jan 2021 15:32:28 +0100 |
wenzelm |
avoid Unicode quotes;
|
changeset |
files
|
| Sun, 10 Jan 2021 15:14:27 +0100 |
wenzelm |
clarified pretty margin: attempt to avoid scrollbar;
|
changeset |
files
|
| Sun, 10 Jan 2021 13:17:27 +0100 |
wenzelm |
more documentation;
|
changeset |
files
|
| Sun, 10 Jan 2021 13:04:29 +0100 |
wenzelm |
more informative errors: simplify diagnosis of spurious failures reported by users;
|
changeset |
files
|
| Sat, 09 Jan 2021 22:41:08 +0100 |
wenzelm |
proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)";
|
changeset |
files
|
| Sat, 09 Jan 2021 22:14:30 +0100 |
wenzelm |
proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c;
|
changeset |
files
|
| Sat, 09 Jan 2021 20:17:56 +0100 |
wenzelm |
clarified list of presented look-and-feels;
|
changeset |
files
|
| Sat, 09 Jan 2021 19:49:22 +0100 |
wenzelm |
clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
|
changeset |
files
|
| Sat, 09 Jan 2021 18:56:53 +0100 |
wenzelm |
discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it violates translation invariance of commands and may lead to redundant re-checking of PIDE document;
|
changeset |
files
|
| Sat, 09 Jan 2021 15:56:09 +0100 |
Manuel Eberl |
Corrected lemma that was too specific in HOL-Computational_Algebra
|
changeset |
files
|
| Sat, 09 Jan 2021 00:53:06 +0100 |
wenzelm |
tuned GUI, notably for scalable FlatLaf;
|
changeset |
files
|
| Sat, 09 Jan 2021 00:11:52 +0100 |
wenzelm |
clarified default L&F;
|
changeset |
files
|
| Fri, 08 Jan 2021 23:59:28 +0100 |
wenzelm |
support for additional look-and-feels;
|
changeset |
files
|
| Fri, 08 Jan 2021 22:30:32 +0100 |
wenzelm |
avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new view;
|
changeset |
files
|
| Fri, 08 Jan 2021 19:52:10 +0100 |
Manuel Eberl |
some algebra material for HOL: characteristic of a ring, algebraic integers
|
changeset |
files
|
| Fri, 08 Jan 2021 19:53:44 +0100 |
Manuel Eberl |
HOL-Data_Structures: added Selection and time functions for list functions
|
changeset |
files
|
| Fri, 08 Jan 2021 20:40:56 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 08 Jan 2021 16:59:27 +0100 |
wenzelm |
discontinued body_range (again): does not quite work, because Position.thread_data is plain Toplevel.pos_of only;
|
changeset |
files
|
| Fri, 08 Jan 2021 16:36:20 +0100 |
wenzelm |
clarified: command keyword position is sufficient (amending 693a39f2cddc);
|
changeset |
files
|
| Fri, 08 Jan 2021 20:38:46 +0100 |
Mathias Fleury |
ignore error messages produced by CVC4 when generating BV
|
changeset |
files
|
| Fri, 08 Jan 2021 16:07:34 +0000 |
paulson |
One useful lemma/simprule
|
changeset |
files
|
| Fri, 08 Jan 2021 15:13:23 +0100 |
wenzelm |
isabelle update_cartouches;
|
changeset |
files
|
| Fri, 08 Jan 2021 15:07:25 +0100 |
wenzelm |
tuned --- prefer explicit position;
|
changeset |
files
|
| Fri, 08 Jan 2021 15:03:51 +0100 |
wenzelm |
recovered body_range from eca176f773e0 --- its Command.core_range is in conflict with batch-build markup;
|
changeset |
files
|