Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-480
+480
+1000
+3000
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.
merged
2021-03-22, by paulson
merged
2021-03-22, by paulson
type class relaxation
2021-03-22, by paulson
more NEWS;
2021-03-22, by wenzelm
clarified group (but hard to tell);
2021-03-22, by wenzelm
more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb, 0x002afd;
2021-03-22, by wenzelm
more lemmas
2021-03-22, by haftmann
clarified package name (actually both pxfonts and txfonts exist and have this font);
2021-03-22, by wenzelm
tuned;
2021-03-21, by wenzelm
prefer isabelle bbbfont;
2021-03-21, by wenzelm
enforce full build;
2021-03-21, by wenzelm
clarified symbol names, notably relevant for Z_Notation;
2021-03-21, by wenzelm
update README (actually after update of component);
2021-03-21, by wenzelm
high-quality blackboard-bold fonts from "txmia" (package "txfonts");
2021-03-21, by wenzelm
publish component;
2021-03-19, by wenzelm
further clarification of Z Notation symbols (notably glyphs 0x2119, 0x2A1F, 0x2982, 0x2A3E), by Simon Foster;
2021-03-19, by wenzelm
clarified \<Zcomp> (small) vs. \<Zsemi> (big);
2021-03-19, by wenzelm
more CONTRIBUTORS;
2021-03-19, by wenzelm
more Z_Notation symbols, as proposed by Simon Foster;
2021-03-19, by wenzelm
more accurate glyphs 0x25C1 / 0x25B7, based on 0x2A64 / 0x2A65 minus the "minus";
2021-03-18, by wenzelm
clarified order for GUI panel;
2021-03-18, by wenzelm
prefer more direct interpretation
2021-03-18, by haftmann
more Z_Notation symbols, as proposed by Simon Foster;
2021-03-18, by wenzelm
more accurate spacing, according to results seen in isar-ref (Appendix B), using 12pt or 10pt;
2021-03-18, by wenzelm
clarified order for presentation in isar-ref (Appendix B);
2021-03-18, by wenzelm
prefer explicit \<Zproject> (with its own Unicode codepoint);
2021-03-18, by wenzelm
more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster;
2021-03-17, by wenzelm
tuned message;
2021-03-16, by wenzelm
proper directory of settings file;
2021-03-16, by wenzelm
tuned lemma
2021-03-16, by nipkow
added lemma
2021-03-15, by nipkow
tuned signature;
2021-03-15, by wenzelm
tuned signature (again);
2021-03-15, by wenzelm
tuned --- following hints by IntelliJ;
2021-03-14, by wenzelm
tuned comments;
2021-03-14, by wenzelm
proper shell quote;
2021-03-14, by wenzelm
removed spurious references to perl / libwww-perl;
2021-03-14, by wenzelm
invoke remote ATP via SystemOnTPTP.run_systems from Isabelle/Scala (without perl);
2021-03-14, by wenzelm
clarified signature: refer to file name instead of file content;
2021-03-14, by wenzelm
compile;
2021-03-14, by wenzelm
clarified signature: more explicit types;
2021-03-14, by wenzelm
support for SystemOnTPTP.run_system, with strict error following scripts/remote_atp;
2021-03-14, by wenzelm
clarified signature;
2021-03-14, by wenzelm
elapsed time to download content (and for the server to provide content);
2021-03-14, by wenzelm
more direct elapsed run_time via bash_process wrapper (via Scala and C);
2021-03-13, by wenzelm
merged
2021-03-13, by wenzelm
use SystemOnTPTP.list_systems from Isabelle/Scala, with dynamic URL option and more elementary error messages;
2021-03-13, by wenzelm
clarified signature: let Sledgehammer handle SystemOnTPTP comments;
2021-03-13, by wenzelm
clarified signature: url may change dynamically and is part of result;
2021-03-13, by wenzelm
clarified error;
2021-03-13, by wenzelm
support timeout, similar to perl LWP::UserAgent;
2021-03-13, by wenzelm
clarified signature;
2021-03-13, by wenzelm
tuned;
2021-03-13, by wenzelm
clarified signature: function_thread is determined in Isabelle/Scala, not Isabelle/ML;
2021-03-13, by wenzelm
support for SystemOnTPTP in Isabelle/ML and Isabelle/Scala (without perl);
2021-03-12, by wenzelm
clarified HTTP.Content: support encoding;
2021-03-12, by wenzelm
clarified signature: more explicit HTTP operations;
2021-03-12, by wenzelm
tuned;
2021-03-12, by wenzelm
more robust;
2021-03-12, by wenzelm
clarified signature;
2021-03-11, by wenzelm
clarified components;
2021-03-11, by wenzelm
avoid name clash
2021-03-11, by haftmann
lemma
2021-03-11, by haftmann
tuned;
2021-03-11, by wenzelm
another example for lift_bnf for quotients
2021-03-11, by traytel
merged
2021-03-10, by wenzelm
proper \usepackage[T1]{fontenc};
2021-03-10, by wenzelm
more robust init: avoid spilling opam artifacts;
2021-03-10, by wenzelm
proper type-setting of cartouches (requires T1);
2021-03-09, by wenzelm
provide \usepackage{textcomp} (again), for the sake of Ubuntu 16.04;
2021-03-09, by wenzelm
more robust;
2021-03-09, by wenzelm
removed unused latex packages;
2021-03-09, by wenzelm
obsolete (see 0c837beeb5e7);
2021-03-09, by wenzelm
proper Isabelle/Scala tool --- avoid perl;
2021-03-09, by wenzelm
generalized confluence-based subdistributivity theorem for quotients;
2021-03-09, by traytel
Backed out changeset 3fdb94d87e0e
2021-03-09, by desharna
Backed out changeset b867b436f372
2021-03-09, by desharna
reduced dependencies on List_Permutation
2021-03-07, by haftmann
follow corresponding precedence on sets
2021-03-07, by haftmann
consolidated names
2021-03-06, by haftmann
reduced dependencies on theory List_Permutation
2021-03-06, by haftmann
obsolete (see f3378101f555);
2021-03-05, by wenzelm
merged
2021-03-05, by wenzelm
more direct unlimited smt_timeout;
2021-03-05, by wenzelm
clarified smt: support Timeout.ignored and Timeout.scale_time;
2021-03-05, by wenzelm
clarified timeouts in Isabelle/ML;
2021-03-05, by wenzelm
tuned --- more elementary Time operations;
2021-03-05, by wenzelm
removed unused/pointless operation: Time.start is the load/init time of this Scala module;
2021-03-05, by wenzelm
obsolete;
2021-03-05, by wenzelm
clarified signature --- augment existing structure Time;
2021-03-05, by wenzelm
rebuild SMT certificates from scratch;
2021-03-05, by wenzelm
added lemmas (sublist|prefix|suffix)_list_all
2021-03-05, by desharna
added lemmas takeWhile_is_prefix, suffix_dropWhile, and sublist_(take|drop)While
2021-03-05, by desharna
added lemmas list_all_(take|drop)I and list_all_(take|drop)WhileI
2021-03-05, by desharna
typo
2021-03-05, by haftmann
merged
2021-03-05, by desharna
added upper bound on monomorphisation duplicate instances
2021-03-04, by desharna
tuned best_slices in atp_config
2021-03-04, by desharna
tuned exec field in atp_config
2021-03-04, by desharna
removed junk;
2021-03-04, by wenzelm
tuned proofs;
2021-03-04, by wenzelm
enforce full build, after significant changes in Isabelle/Scala;
2021-03-04, by wenzelm
clarified compiler options: show relevant warnings;
2021-03-04, by wenzelm
tuned --- avoid compiler warnings;
2021-03-04, by wenzelm
clarified signature --- fewer warnings;
2021-03-04, by wenzelm
clarified signature --- fewer warnings;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
more robust ordering (see also 88c96e836ed6);
2021-03-04, by wenzelm
proper scala.collection.immutable;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
tuned;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
more robust error;
2021-03-03, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);
2021-03-03, by wenzelm
slightly more efficient Term.fastype_of (only little impact in regular applications);
2021-03-03, by wenzelm
reduced dependencies on theory List_Permutation
2021-03-02, by haftmann
Merge
2021-03-01, by paulson
reverted simprule status on a new lemma
2021-03-01, by paulson
merged
2021-03-01, by paulson
tiny bit of lemma hacking
2021-03-01, by paulson
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- avoid deprecated conversions between certain number type;
2021-03-01, by wenzelm
tuned --- avoid deprecated Predef.any2stringadd;
2021-03-01, by wenzelm
tuned --- silence odd warning;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
clarified signature, according to Isabelle/Scala;
2021-03-01, by wenzelm
download more directly, via means of JVM;
2021-03-01, by wenzelm
download on separate thread;
2021-03-01, by wenzelm
clarified signature;
2021-03-01, by wenzelm
tuned;
2021-03-01, by wenzelm
proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);
2021-03-01, by wenzelm
tuned signature;
2021-03-01, by wenzelm
NEWS
2021-03-01, by haftmann
lemma diffusion
2021-02-28, by haftmann
more connections between mset _ = mset _ and permutations
2021-02-28, by haftmann
dissolve theory with duplicated name from afp
2021-02-28, by haftmann
more robust (amending 87403fde8cc3): notably allow symlink to existing directory, which Files.createDirectories does not accept;
2021-02-28, by wenzelm
more Isabelle/ML/Scala operations;
2021-02-27, by wenzelm
more Isabelle/ML/Scala operations;
2021-02-27, by wenzelm
more Isabelle/ML/Scala operations;
2021-02-27, by wenzelm
proper src1, amending 20157c8ab3f3;
2021-02-27, by wenzelm
tuned;
2021-02-27, by wenzelm
proper File.eq, amending df49ca5da9d0;
2021-02-27, by wenzelm
tuned;
2021-02-27, by wenzelm
clarified modules: more like ML;
2021-02-27, by wenzelm
obsolete;
2021-02-27, by wenzelm
tuned;
2021-02-27, by wenzelm
more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552);
2021-02-27, by wenzelm
discontinued somewhat pointless "integrity test of build_history": it fails right now, but also failed to expose spurious incompatibilities when it was working;
2021-02-27, by wenzelm
more checks;
2021-02-27, by wenzelm
clarified message;
2021-02-27, by wenzelm
clarified message;
2021-02-27, by wenzelm
clarified comments;
2021-02-27, by wenzelm
clarified message;
2021-02-27, by wenzelm
improved list_neq simproc
2021-02-26, by nipkow
merged
2021-02-25, by haftmann
repaired document
2021-02-24, by haftmann
merged
2021-02-24, by paulson
merged
2021-02-24, by paulson
A couple of basic lemmas about arg
2021-02-24, by paulson
multiset as equivalence class of permuted lists
2021-02-24, by haftmann
emphasize connection to multisets
2021-02-24, by haftmann
proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work;
2021-02-24, by wenzelm
more on Isabelle_System.bash;
2021-02-23, by wenzelm
more specific name
2021-02-23, by haftmann
more lemmas
2021-02-23, by haftmann
dropped obscure FIXME
2021-02-23, by haftmann
proper usage of hypotheses for zipperposition's TPTP generation
2021-02-23, by desharna
merged
2021-02-23, by desharna
tuned Mirabelle to parse option check_trivial only once
2021-02-19, by desharna
merged
2021-02-15, by desharna
merged
2021-02-12, by desharna
added stride option to Mirabelle
2021-02-12, by desharna
proper prover capabilities for zipperposition
2021-02-12, by desharna
NEWS;
2021-02-22, by wenzelm
merged
2021-02-22, by wenzelm
clarified uses of Isabelle_System.bash_process: more checks, fewer messages;
2021-02-22, by wenzelm
tuned signature;
2021-02-22, by wenzelm
more direct timing from bash_process wrapper;
2021-02-22, by wenzelm
tuned;
2021-02-22, by wenzelm
clarified signature, following Isabelle/Scala;
2021-02-22, by wenzelm
tuned;
2021-02-22, by wenzelm
clarified signature;
2021-02-22, by wenzelm
clarified signature: Isabelle_System.bash_process is strict and thus cannot check for interrupt_return_code;
2021-02-22, by wenzelm
clarified signature: always trim_line of Process_Result.out/err, uniformly in ML and Scala;
2021-02-22, by wenzelm
tuned;
2021-02-22, by wenzelm
clarified signature, following Isabelle/Scala;
2021-02-22, by wenzelm
tuned signature;
2021-02-22, by wenzelm
clarified signature: process_result timing from Isabelle/Scala;
2021-02-22, by wenzelm
NEWS
2021-02-22, by haftmann
dedicated locale for preorder and abstract bdd operation
2021-02-22, by haftmann
get rid of traditional predicate
2021-02-22, by haftmann
proper treatment of process_result;
2021-02-21, by wenzelm
more accurate process_result in ML, corresponding to Process_Result in Scala;
2021-02-21, by wenzelm
clarified: proper trim_line for error;
2021-02-21, by wenzelm
unused;
2021-02-21, by wenzelm
clarified lines (again);
2021-02-21, by wenzelm
clarified modules;
2021-02-20, by wenzelm
more uniform Bash.process: always ask Isabelle/Scala;
2021-02-20, by wenzelm
more reactive protocol messages, e.g. for Scala.function (relevant for Bash.process);
2021-02-20, by wenzelm
clarified compiler options;
2021-02-20, by wenzelm
tuned comments;
2021-02-20, by wenzelm
removed obsolete RC tags;
2021-02-20, by wenzelm
more hints;
2021-02-20, by wenzelm
merged
2021-02-20, by wenzelm
Added tag Isabelle2021 for changeset 7e2a9a8c2b85
2021-02-20, by wenzelm
provide naproche-755224402e36;
Isabelle2021
2021-02-20, by wenzelm
provide naproche-4ad61140062f;
2021-02-19, by wenzelm
HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc.
2021-02-19, by Manuel Eberl
tidied up a few ugly proofs
2021-02-16, by paulson
merged
2021-02-14, by wenzelm
provide naproche-6d0d76ce2f2a;
2021-02-14, by wenzelm
Added tag Isabelle2021-RC6 for changeset ed36e33a2e4b
2021-02-14, by wenzelm
updated to flatlaf-1.0;
2021-02-13, by wenzelm
tuned NEWS;
2021-02-13, by wenzelm
tuned comments;
2021-02-10, by wenzelm
more robust interrupt handling as in Future.forked_results (amending 64df1e514005);
2021-02-09, by wenzelm
more parallelism: avoid exhaustion of standard thread pool;
2021-02-09, by wenzelm
more robust: resolve historic components via current tool to access current server;
2021-02-12, by wenzelm
tuned signature;
2021-02-12, by wenzelm
more parallelism;
2021-02-11, by wenzelm
more robust ISABELLE_COMPONENT_REPOSITORY: use current value of managing process to avoid its fluctuation in ancient history;
2021-02-09, by wenzelm
clarified signature;
2021-02-09, by wenzelm
merged;
2021-02-08, by wenzelm
Added tag Isabelle2021-RC5 for changeset a88dbf2a020f
2021-02-08, by wenzelm
provide naproche-7d0947a91dd5;
2021-02-08, by wenzelm
more complete solutions (amending 4d36070bdbf4);
2021-02-07, by wenzelm
terminate faster (following dd9fc8a3036c);
2021-02-07, by wenzelm
more robust: accommodate output lines produced by Scala "bash_process";
2021-02-07, by wenzelm
updated for release;
2021-02-07, by wenzelm
updated to flatlaf-1.0-rc3;
2021-02-07, by wenzelm
more robust: allow YXML text;
2021-02-07, by wenzelm
inherit ISABELLE_TMP from ML process, e.g. required for $AFP/Hello_World/RunningCodeFromIsabelle.thy;
2021-02-07, by wenzelm
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
2021-02-07, by wenzelm
clarified modules: less redundancy;
2021-02-07, by wenzelm
clarified modules: allow early invocation of Scala functions;
2021-02-07, by wenzelm
clarified modules: allow early definition of protocol commands;
2021-02-07, by wenzelm
clarified links to external files, e.g. .pdf within .thy source document;
2021-02-03, 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);
2021-02-01, by wenzelm
updated to flatlaf-1.0-rc2;
2021-02-01, by wenzelm
added lemmas
2021-02-08, by nipkow
merged
2021-02-01, by wenzelm
updated for release;
2021-02-01, by wenzelm
Added tag Isabelle2021-RC4 for changeset 2ab14dbc6feb
2021-02-01, by wenzelm
provide naproche-20210201;
2021-02-01, by wenzelm
clarified messages;
2021-01-31, by wenzelm
more parallel;
2021-01-31, by wenzelm
more parallel;
2021-01-31, by wenzelm
contributors
2021-01-31, by Andreas Lochbihler
hide the internal abbreviations MR and MB
2021-01-31, by Andreas Lochbihler
optimize RBT_Impl
2021-01-29, by mraszyk
merged
2021-01-30, by wenzelm
more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within mixfix declarations (due to extra markup);
2021-01-30, by wenzelm
tuned signature: more types;
2021-01-30, by wenzelm
clarified signature: proper order;
2021-01-30, by wenzelm
clarified signature: more explicit types;
2021-01-30, by wenzelm
tuned;
2021-01-30, by wenzelm
clarified signature: no symbol markup within XML attributes;
2021-01-30, by wenzelm
clarified signature;
2021-01-30, by wenzelm
tuned signature;
2021-01-30, by wenzelm
bundle more libraries from scala-2.12.x, notably for Isabelle/MMT;
2021-01-30, by wenzelm
provide naproche-20210129;
2021-01-29, by wenzelm
more robust type signatures, notably for the sake of haskell-stack-trace-plugin-0.1.1.1;
2021-01-28, by wenzelm
tuned signature (e.g. see HTML.control_block in Isabelle/Scala);
2021-01-27, by wenzelm
proper Isabelle environment (amending 31fbde3baa97);
2021-01-27, by wenzelm
updated to jdk-15.0.2+7;
2021-01-27, by wenzelm
follow Phabricator update 2021 Week 4;
2021-01-27, by wenzelm
more NEWS;
2021-01-26, by wenzelm
more uniform directory layout for macOS;
2021-01-26, by wenzelm
more generic Isabelle_app;
2021-01-26, by wenzelm
prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc);
2021-01-26, by wenzelm
more robust;
2021-01-26, by wenzelm
tuned;
2021-01-26, by wenzelm
tuned;
2021-01-25, by wenzelm
provide jdk-11.0.10+9.tar.gz LTS for testing (inactive);
2021-01-24, by wenzelm
Simpler proof
2021-01-30, by nipkow
more robust: support other_isabelle.init_settings for build_history before b93404a4c3dd;
2021-01-27, by wenzelm
more robust: defer error in sessions structure to build process;
2021-01-25, by wenzelm
merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;
2021-01-24, by wenzelm
Added tag Isabelle2021-RC3 for changeset 02422c9add5e
2021-01-24, by wenzelm
provide naproche-20210124 (inactive);
2021-01-24, by wenzelm
follow stackage update;
2021-01-24, by wenzelm
tuned name, e.g. relevant for Naproche-SAD debugging in Isabelle/jEdit;
2021-01-24, by wenzelm
more operations for client connection;
2021-01-24, by wenzelm
fewer warnings, notably in Naproche-SAD;
2021-01-23, by wenzelm
suppress bundled Naproche-SAD component: it is in conflict with building the same from sources;
2021-01-23, by wenzelm
more robust etc/settings;
2021-01-22, by wenzelm
IDE support for Naproche-SAD;
2021-01-22, by wenzelm
proper path;
2021-01-22, by wenzelm
support isabelle components -u and -x;
2021-01-21, by wenzelm
proper typescript version, required for "vsce package";
2021-01-20, by wenzelm
auto-update;
2021-01-20, by wenzelm
auto-update;
2021-01-20, by wenzelm
proper type constraint;
2021-01-20, by wenzelm
VSCode extension for official Isabelle release;
2021-01-20, by wenzelm
proper message;
2021-01-20, by wenzelm
unused;
2021-01-20, by wenzelm
proper heap_free;
2021-01-19, by wenzelm
suppress markup for literal tokens with block control symbols, for better PIDE/HTML output (see also d15fe10593ff);
2021-01-19, by wenzelm
clarified documentation concerning macOS Big Sur;
2021-01-19, by wenzelm
more systematic java-gui-setup, also for "isabelle jedit" command-line tool;
2021-01-19, by wenzelm
updated to flatlaf-1.0-rc1;
2021-01-19, by wenzelm
tuned;
2021-01-19, by wenzelm
tuned proofs;
2021-01-18, by wenzelm
tuned;
2021-01-18, by wenzelm
obsolete;
2021-01-18, by wenzelm
clarified platforms;
2021-01-18, by wenzelm
more NEWS;
2021-01-18, by wenzelm
workaround for Big Sur fullscreen mode: better support for JDialog windows (e.g. Find on top of main View);
2021-01-18, by wenzelm
clarified app identification, potentially relevant for macOS "defaults";
2021-01-18, by wenzelm
updated documentation: HIDPI works smoothly thanks to FlatLaf;
2021-01-18, by wenzelm
updated for release;
2021-01-18, by wenzelm
updated screenshot;
2021-01-18, by wenzelm
clarified reports before errors: support completion of bibtex entries in Isabelle/Scala (amending d01ea9e3bd2d);
2021-01-18, by wenzelm
tuned;
2021-01-18, by wenzelm
proper theory_long_name;
2021-01-18, by wenzelm
updated screenshots;
2021-01-17, by wenzelm
more robust GUI, notably for Big Sur full-screen where the hypersearch panel becomes a separate maximized window;
2021-01-17, by wenzelm
revert 1105c42722dc on isabelle-release branch;
2021-01-17, by wenzelm
proper hostname;
2021-01-21, by wenzelm
more official support for macOS 11.1 Big Sur;
2021-01-21, by wenzelm
more informative error;
2021-01-20, by wenzelm
added lemmas
2021-01-20, by nipkow
merged
2021-01-17, by wenzelm
updated to scala-2.13: its ArraySeq implementation is not usable here (requires scala.relection.ClassTag);
2021-01-17, by wenzelm
updated to scala-2.13.4;
2021-01-16, by wenzelm
clarified;
2021-01-16, by wenzelm
clarified return code: re-use SIGALRM for soft timeout;
2021-01-16, by wenzelm
clarified signature: more operations;
2021-01-16, by wenzelm
tuned;
2021-01-15, by wenzelm
clarified signature: support more generic server implementations;
2021-01-14, by wenzelm
tuned comments;
2021-01-13, by wenzelm
proper </html>;
2021-01-11, by wenzelm
tuned message;
2021-01-10, by wenzelm
new magerial from Jakub Kądziołka
2021-01-14, by paulson
back to post-release mode;
2021-01-10, by wenzelm
Added tag Isabelle2021-RC2 for changeset 802647edfe7b
2021-01-10, by wenzelm
tuned;
2021-01-10, by wenzelm
avoid Unicode quotes;
2021-01-10, by wenzelm
clarified pretty margin: attempt to avoid scrollbar;
2021-01-10, by wenzelm
more documentation;
2021-01-10, by wenzelm
more informative errors: simplify diagnosis of spurious failures reported by users;
2021-01-10, by wenzelm
proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)";
2021-01-09, by wenzelm
proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c;
2021-01-09, by wenzelm
clarified list of presented look-and-feels;
2021-01-09, by wenzelm
clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
2021-01-09, by wenzelm
discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it violates translation invariance of commands and may lead to redundant re-checking of PIDE document;
2021-01-09, by wenzelm
Corrected lemma that was too specific in HOL-Computational_Algebra
2021-01-09, by Manuel Eberl
tuned GUI, notably for scalable FlatLaf;
2021-01-09, by wenzelm
clarified default L&F;
2021-01-09, by wenzelm
support for additional look-and-feels;
2021-01-08, by wenzelm
avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new view;
2021-01-08, by wenzelm
some algebra material for HOL: characteristic of a ring, algebraic integers
2021-01-08, by Manuel Eberl
HOL-Data_Structures: added Selection and time functions for list functions
2021-01-08, by Manuel Eberl
merged
2021-01-08, by wenzelm
discontinued body_range (again): does not quite work, because Position.thread_data is plain Toplevel.pos_of only;
2021-01-08, by wenzelm
clarified: command keyword position is sufficient (amending 693a39f2cddc);
2021-01-08, by wenzelm
ignore error messages produced by CVC4 when generating BV
2021-01-08, by Mathias Fleury
One useful lemma/simprule
2021-01-08, by paulson
isabelle update_cartouches;
2021-01-08, by wenzelm
tuned --- prefer explicit position;
2021-01-08, by wenzelm
recovered body_range from eca176f773e0 --- its Command.core_range is in conflict with batch-build markup;
2021-01-08, by wenzelm
tuned;
2021-01-08, by wenzelm
support more command positions, analogous to Command.core_range in Isabelle/Scala;
2021-01-08, by wenzelm
tuned;
2021-01-08, by wenzelm
more uniform core_range (amending def3ec9cdb7e);
2021-01-08, by wenzelm
clarified dock icon: setup earlier on startup;
2021-01-07, by wenzelm
clarified NEWS;
2021-01-07, by wenzelm
dropped junk
2021-01-07, by haftmann
try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";
2021-01-07, by wenzelm
detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle;
2021-01-06, by wenzelm
proper purge for arm64-darwin;
2021-01-06, by wenzelm
updated jdk-15.0.1+9, including arm64-darwin;
2021-01-06, by wenzelm
discontinued somethat pointless sharing: too complicated;
2021-01-06, by wenzelm
less verbose;
2021-01-06, by wenzelm
more robust sharing, despite minimal impact on archive size;
2021-01-06, by wenzelm
proper LSMinimumSystemVersion for zulu-jdk-15;
2021-01-06, by wenzelm
obsolete, thanks to zulu-jdk directory layout;
2021-01-06, by wenzelm
clarified Info.plist;
2021-01-06, by wenzelm
more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;
2021-01-06, by wenzelm
prefer OpenJDK from Azul: supports more versions and platforms;
2021-01-06, by wenzelm
sort lines;
2021-01-06, by wenzelm
tuned;
2021-01-06, by wenzelm
more NEWS;
2021-01-06, by wenzelm
recovered file-type icons from macos_app;
2021-01-06, by wenzelm
clarified application init;
2021-01-05, by wenzelm
recovered bundle icons (not application) from macos_app;
2021-01-05, by wenzelm
proper app directory setup, without macos_app component;
2021-01-05, by wenzelm
more robust;
2021-01-05, by wenzelm
prefer official Java 9 operations;
2021-01-05, by wenzelm
obsolete;
2021-01-05, by wenzelm
proper dock icon for macOS;
2021-01-05, by wenzelm
proper isabelle_home_prefix;
2021-01-05, by wenzelm
discontinued macOS JavaAppLauncher: re-use plain shell script;
2021-01-05, by wenzelm
tuned whitespace;
2021-01-05, by wenzelm
tuned -- generate Info.plist in Isabelle/Scala;
2021-01-05, by wenzelm
tuned signature;
2021-01-05, by wenzelm
tuned signature;
2021-01-05, by wenzelm
updated according to ~~/etc/settings;
2021-01-05, by wenzelm
more portable component setup;
2021-01-05, by wenzelm
clarified quotes;
2021-01-05, by wenzelm
tuned -- generate script by Isabelle/Scala;
2021-01-05, by wenzelm
proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter;
2021-01-05, by wenzelm
proper theory name, e.g. for HTML/PIDE presentation;
2021-01-05, by wenzelm
more robust and permissive;
2021-01-05, by wenzelm
present theory using PIDE markup;
2021-01-05, by wenzelm
clarified signature;
2021-01-05, by wenzelm
tuned signature;
2021-01-05, by wenzelm
tuned
2021-01-05, by nipkow
HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset
2021-01-05, by Manuel Eberl
merged
2021-01-04, by wenzelm
more documentation;
2021-01-04, by wenzelm
override existing action, to retain menu item;
2021-01-04, by wenzelm
HOL-Complex_Analysis: coefficient asymptotics for meromorphic functions
2021-01-04, by Manuel Eberl
HOL-Library: Changed notation for sum_mset
2021-01-04, by Manuel Eberl
tuned;
2021-01-04, by wenzelm
proper thread position for reports;
2021-01-04, by wenzelm
tuned signature;
2021-01-04, by wenzelm
misc tuning and clarification;
2021-01-04, by wenzelm
tuned signature;
2021-01-04, by wenzelm
tuned;
2021-01-04, by wenzelm
alternative shortcut, notably for macOS;
2021-01-03, by wenzelm
action isabelle.toggle-full-screen;
2021-01-03, by wenzelm
some attempts at multi-platform full-screen mode;
2021-01-03, by wenzelm
more operations;
2021-01-03, by wenzelm
clarified HTML presentation elements;
2021-01-03, by wenzelm
more robust bootstrap: Isabelle-jEdit.shasum could be absent;
2021-01-03, by wenzelm
tuned whitespace (amending a4bffc0de967);
2021-01-02, by wenzelm
clarified caching;
2021-01-02, by wenzelm
persistent hash code: much faster caching;
2021-01-02, by wenzelm
clarified signature: absorb XZ.Cache into XML.Cache;
2021-01-02, by wenzelm
support more direct hash-consing via XML.Cache;
2021-01-02, by wenzelm
tuned;
2021-01-02, by wenzelm
tuned signature;
2021-01-02, by wenzelm
clarified boundary case;
2021-01-02, by wenzelm
more uniform default --- hardly relevant in practice;
2021-01-02, by wenzelm
proper ssh_port (amending ffd8283b7be0);
2021-01-02, by wenzelm
clarified signature --- internal Cache.none;
2021-01-02, by wenzelm
tuned comments;
2021-01-02, by wenzelm
more verbosity for potentially bulky presentation;
2021-01-02, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer (despite minor confusion due to canonical argument order of "pow");
2021-01-01, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer;
2021-01-01, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer;
2021-01-01, by wenzelm
more lemmas
2020-12-29, by nipkow
added lemmas
2020-12-28, by nipkow
added lemma
2020-12-28, by nipkow
tuned whitespace;
2020-12-27, by wenzelm
Added tag Isabelle2021-RC1 for changeset d4b67dc6f4eb
2020-12-27, by wenzelm
updated for release;
2020-12-27, by wenzelm
clarified HTML presentation, e.g. avoid bulky jobs like HOL or HOL-Analysis in applications;
2020-12-27, by wenzelm
follow Phabricator update 2020 Week 42;
2020-12-27, by wenzelm
updated for release;
2020-12-27, by wenzelm
tuned;
2020-12-27, by wenzelm
proper NEWS according to current situation;
2020-12-27, by wenzelm
updated for release;
2020-12-27, by wenzelm
tuned (see also b5333fc056da);
2020-12-27, by wenzelm
A few more simprules for iff-reasoning
2020-12-25, by paulson
infinite products iff simprule
2020-12-25, by paulson
merged
2020-12-24, by paulson
merged
2020-12-24, by paulson
Two biconditional simprules for summable
2020-12-24, by paulson
updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin;
2020-12-24, by wenzelm
support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
2020-12-24, by wenzelm
more robust: clarified error when merging Hoare_Logic + Hoare_Logic_Abort;
2020-12-24, by wenzelm
more robust components_base: avoid fragile directory links on Windows (or Cygwin);
2020-12-24, by wenzelm
more NEWS;
2020-12-24, by wenzelm
merged
2020-12-23, by wenzelm
avoid memory problems on test machine;
2020-12-23, by wenzelm
more robust defaults: spurious problems with parallel invocations and interrupts;
2020-12-23, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-480
+480
+1000
+3000
tip