Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-240
+240
+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.
tuned;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
more uniform tooltip for plugin options dialog;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
more uniform session selectors, with persistent options;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
NEWS
19 months ago, by desharna
merged
19 months ago, by desharna
added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
20 months ago, by desharna
added lemma totalp_on_converse[simp]
20 months ago, by desharna
added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp]
20 months ago, by desharna
added type annotations and tuned formatting
20 months ago, by desharna
strengthened and renamed irreflp_greater[simp] and irreflp_less[simp]
20 months ago, by desharna
merged
19 months ago, by wenzelm
tuned GUI behaviour;
19 months ago, by wenzelm
more GUI elements;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
clarified process: implicit load() when finished;
19 months ago, by wenzelm
more robust, notably initial update();
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned messages: implement "verbose = false", but there is no theory output anyway;
19 months ago, by wenzelm
merged
19 months ago, by desharna
added lemmas irrefl_on_subset and irreflp_on_subset
20 months ago, by desharna
introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations
20 months ago, by desharna
tuned messages;
19 months ago, by wenzelm
tuned message;
19 months ago, by wenzelm
tuned messages and options;
19 months ago, by wenzelm
merged
19 months ago, by desharna
removed prod_set_conv attribute from top_empty_eq and top_empty_eq2
20 months ago, by desharna
discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);
19 months ago, by wenzelm
more direct access to jEdit jar resources, without unzip;
19 months ago, by wenzelm
clarified check: allow to remove bad directories;
20 months ago, by wenzelm
clarified check;
20 months ago, by wenzelm
tuned message;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
proper unzip with strip option, within the JVM;
20 months ago, by wenzelm
updated to sqlite-jdbc-3.39.4.1;
20 months ago, by wenzelm
more standard component build process;
20 months ago, by wenzelm
clarified signature: prefer Scala functions instead of shell scripts;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
more direct target directory;
20 months ago, by wenzelm
clarified signature: prefer Scala functions instead of shell scripts;
20 months ago, by wenzelm
A new Isabelle/CTT example, and eliminated some old-style quotation marks
20 months ago, by paulson
clarified exception: avoid odd compiler warning;
20 months ago, by wenzelm
update to scala-3.2.1;
20 months ago, by wenzelm
recovered check from 69139cc01ba1: Windows does not support PosixFilePermission;
20 months ago, by wenzelm
update to jdk-17.0.5 (Oct-2022);
20 months ago, by wenzelm
more standard component build process;
20 months ago, by wenzelm
proper treatment of tar.gz double-extension;
20 months ago, by wenzelm
proper download, instead of assuming local directory;
20 months ago, by wenzelm
more standard component build process;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
discontinue unused JCEF: superseded by Electron with its bundled Chromium;
20 months ago, by wenzelm
prefer deterministic result;
20 months ago, by wenzelm
clarified command-line arguments: follow more recent isabelle build_XYZ;
20 months ago, by wenzelm
compile
20 months ago, by blanchet
correctly show '(> 2 s, timed out)' or similar in Sledgehammer's output
20 months ago, by blanchet
merged
20 months ago, by desharna
strengthened and renamed lemma reflp_on_equality
20 months ago, by desharna
renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le)
20 months ago, by desharna
Added an example for Isabelle/CTT
20 months ago, by paulson
clarified signature;
20 months ago, by wenzelm
clarified signature: more explicit types;
20 months ago, by wenzelm
tuned output;
20 months ago, by wenzelm
prefer sorted result;
20 months ago, by wenzelm
separate style for re-use;
20 months ago, by wenzelm
ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;
20 months ago, by wenzelm
retain data structures more accurately;
20 months ago, by wenzelm
proper join without delimiter;
20 months ago, by wenzelm
more accurate token types;
20 months ago, by wenzelm
clarified JS namespace;
20 months ago, by wenzelm
proper support for Windows;
20 months ago, by wenzelm
support for the Prism.js syntax highlighter -- via external Node.js process;
20 months ago, by wenzelm
support for JavaScript syntax and Node.js platform;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified signature: ensure that entries are well-formed --- no consecutive separators, no separators at start/end;
20 months ago, by wenzelm
clarified signature: only support nameless separator;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
use timeout with MiniSat
20 months ago, by blanchet
merged
20 months ago, by desharna
added lemma reflp_on_conversp[simp]
20 months ago, by desharna
added lemma transp_reflclp[simp]
20 months ago, by desharna
added lemma reflclp_ident_if_reflp[simp]
20 months ago, by desharna
added lemma reflp_on_reflclp[simp]
20 months ago, by desharna
strengthened lemma reflp_rtranclp and renamed to reflp_on_rtranclp
20 months ago, by desharna
more robust selection: avoid duplicates via "batch" number;
20 months ago, by wenzelm
tuned GUI;
20 months ago, by wenzelm
clarified GUI.Selector, with support for separator as pseudo-entry;
20 months ago, by wenzelm
clarified GUI state;
20 months ago, by wenzelm
clarified file names;
20 months ago, by wenzelm
clarified Log_Progress vs. GUI: more like Syslog_Dockable;
20 months ago, by wenzelm
clarified signature: more public operations;
20 months ago, by wenzelm
tuned signature, following hints by IntelliJ IDEA;
20 months ago, by wenzelm
merged
20 months ago, by nipkow
retain derived lemma for better findability
20 months ago, by nipkow
generalized sorted_sort_id to sort_key_id_if_sorted
20 months ago, by nipkow
suppress document_required GUI element for now: still unused;
20 months ago, by wenzelm
clarified layout;
20 months ago, by wenzelm
clarified node_required status: distinguish theory_required vs. document_required;
20 months ago, by wenzelm
proper user tool;
20 months ago, by wenzelm
tuned comments;
20 months ago, by wenzelm
support for EPTCS style with demo document;
20 months ago, by wenzelm
tuned message;
20 months ago, by wenzelm
clarified delay -- more reactive;
20 months ago, by wenzelm
provide Session.init_time as reference point for diagnostic messages;
20 months ago, by wenzelm
afford more reactive consolidation;
20 months ago, by wenzelm
minor performance tuning;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
afford unconditional presentation, notably export_theory and present_thy, notably for HTML + PDF presentation within PIDE;
20 months ago, by wenzelm
proper executable files for Windows;
20 months ago, by wenzelm
further attempts to confine dotnet to $ISABELLE_HOME_USER;
20 months ago, by wenzelm
tuned output;
20 months ago, by wenzelm
more command-line options;
20 months ago, by wenzelm
clarified component settings: always update existing version;
20 months ago, by wenzelm
more TODO for release;
20 months ago, by wenzelm
disable telemetry;
20 months ago, by wenzelm
clarified error;
20 months ago, by wenzelm
tuned message, example is in NEWS;
20 months ago, by wenzelm
proper default_platform;
20 months ago, by wenzelm
tuned NEWS;
20 months ago, by wenzelm
tuned message;
20 months ago, by wenzelm
support for Dotnet / Fsharp platform, via dynamically installed Isabelle component;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned comments;
20 months ago, by wenzelm
clarified description, to fit better to e.g. "isabelle build_doc -a -V system jedit";
20 months ago, by wenzelm
clarified options: support lualatex as well, but prefer old pdflatex for demos;
20 months ago, by wenzelm
more command-line options;
20 months ago, by wenzelm
proper URL;
20 months ago, by wenzelm
document_build engine for "lipics", with options and document_files;
20 months ago, by wenzelm
clarified signature: allow to change options in instances of Document_Build.Engine;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although Springer might not like it;
20 months ago, by wenzelm
Better use the finite simproc selectively only
20 months ago, by nipkow
tuned document;
20 months ago, by wenzelm
tuned document;
20 months ago, by wenzelm
clarified LaTeX style;
20 months ago, by wenzelm
support for Springer LLNCS with demo document;
20 months ago, by wenzelm
prefer explicit utf8 for old pdflatex;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
proper chapter (amending 809cd1195795);
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
tuned (again);
20 months ago, by wenzelm
prefer strict operation (see also f29056da5903);
20 months ago, by wenzelm
more antiquotations;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
prefer strict operation;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
misc tuning;
20 months ago, by wenzelm
clarified options;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
merged
20 months ago, by nipkow
added finite simproc
21 months ago, by nipkow
merged
21 months ago, by wenzelm
clarified directory layout: templates for user sessions;
21 months ago, by wenzelm
tuned proofs;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
proper pattern (amending 40a365360680);
21 months ago, by wenzelm
more timing;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned comments;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
prefer abstract command kind (in contrast to 367f4512e65c);
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned: avoid warning in IntelliJ IDEA;
21 months ago, by wenzelm
more accurate outer syntax keywords (see also 94b2690ad494): base session could be anything, e.g. ZF vs. HOL;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified signature: do not require finished theory;
21 months ago, by wenzelm
clarified modules;
21 months ago, by wenzelm
merged
21 months ago, by desharna
added lemmas multp_mono_strong and mult_mono_strong
21 months ago, by desharna
merged
21 months ago, by wenzelm
support for FoilTeX with demo document;
21 months ago, by wenzelm
tuned comments;
21 months ago, by wenzelm
tuned whitespace for "isabelle doc" display;
21 months ago, by wenzelm
support for Easychair style with demo document;
21 months ago, by wenzelm
support for Dagstuhl LIPIcs style with demo document;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified modules;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned signature, following hints by IntelliJ IDEA;
21 months ago, by wenzelm
restructured
21 months ago, by haftmann
modulus for polynomials is invariant wrt. units
21 months ago, by haftmann
proper Java syntax (amending ea79c21bcc47);
21 months ago, by wenzelm
reactivate emerging tool after release (see 322f2e2799a7);
21 months ago, by wenzelm
separate out definition of bound to avoid spurious sort hypotheses (by Jan van Brügge)
21 months ago, by traytel
merged
21 months ago, by paulson
Beautification of some declarations
21 months ago, by paulson
merged
21 months ago, by wenzelm
more robust etc/preferences: default value remains;
21 months ago, by wenzelm
formal bundling for Admin/build_release: avoid confusion about presence or absence in manual invocations;
21 months ago, by wenzelm
Beautifying CTT a tiny bit
21 months ago, by paulson
A couple of new theorems. Also additional coercions to the complex numbers
21 months ago, by paulson
more macOS platforms, without reference hardware;
21 months ago, by wenzelm
official release;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
Added tag Isabelle2022 for changeset 1ac2416e8432
21 months ago, by wenzelm
tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF;
Isabelle2022
21 months ago, by wenzelm
tuned signature, e.g. for Isabelle/DOF;
21 months ago, by wenzelm
updated to naproche-20221024: minor changes to documentation;
21 months ago, by wenzelm
Replaced some ugly legacy proofs
21 months ago, by paulson
more thorough cleanup;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned: more robust Scala syntax;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
no compression for database server: let PostgreSQL/TOAST do the job;
21 months ago, by wenzelm
prefer Zstd compression, notably for database exports;
21 months ago, by wenzelm
tuned: avoid redundant copy of potentially large array;
21 months ago, by wenzelm
merged
21 months ago, by desharna
tuned proof
21 months ago, by desharna
clarified signature;
21 months ago, by wenzelm
tuned signature, following isabelle.setup.Environment;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
prefer new instance, following "make" signature terminology;
21 months ago, by wenzelm
generic support for XZ and Zstd compression in Isabelle/Scala;
21 months ago, by wenzelm
clarified signature: default cache is actually dummy and not changed dynamically;
21 months ago, by wenzelm
clarified Zstd.init(): avoid accidential com.github.luben.zstd.util.Native.load() operation;
21 months ago, by wenzelm
support for Zstd data compression;
21 months ago, by wenzelm
enforce fresh build;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
more robust read_file: prefer implicit replacement of bad input instead of failure via MalformedInputException;
21 months ago, by wenzelm
more informative errors, with optional exception trace as in Command_Line.tool;
21 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-240
+240
+1000
+3000
tip