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
+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.
reduce prominence of facts
19 months ago, by haftmann
clarified signature;
19 months ago, by wenzelm
more explanations on the new order prover (based on 10945fc183cd), without violating strict monotonicity of NEWS wrt. official releases;
19 months ago, by wenzelm
restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
19 months ago, by wenzelm
added documentation about new order prover
19 months ago, by Lukas Stevens
tweaked
19 months ago, by Lukas Stevens
tweaked;
19 months ago, by Fabian Huch
moved relevant theorems from theory Divides to theory Euclidean_Division
19 months ago, by haftmann
amend jenkins ci build;
19 months ago, by Fabian Huch
restructured ci profile into modular ci build system;
19 months ago, by Fabian Huch
more structured proofs
19 months ago, by paulson
fixed some theory presentation issues (?)
19 months ago, by paulson
recover informal "&" from 0c18df79b1c8;
19 months ago, by wenzelm
added a couple of structured proofs
19 months ago, by paulson
More obsolete "unfold" calls
19 months ago, by paulson
getting rid of apply (unfold ...)
19 months ago, by paulson
More syntactic cleanup. LaTeX markup working
19 months ago, by paulson
more modernisation of syntax
19 months ago, by paulson
Removal of obsolete ASCII syntax
19 months ago, by paulson
clarified options;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
streamlined division on polynomials
19 months ago, by haftmann
streamlined division on polynomials
19 months ago, by haftmann
clarified signature: re-use store/cache from build results;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified signature: persistent Node.source / Snapshot.source;
19 months ago, by wenzelm
more examples;
19 months ago, by wenzelm
proper filter (amending fb4215da4919);
19 months ago, by wenzelm
clarified conditions: no_build is ok for presentation if "all_current" holds;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified presentation_sessions: work with partial results;
19 months ago, by wenzelm
tuned signature: removed unused operations;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned comments;
19 months ago, by wenzelm
streamlined division on polynomials
19 months ago, by haftmann
clarified packaging;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
Added tag Isabelle2022-RC2 for changeset 778152d51e97
19 months ago, by wenzelm
show SSH options in PIDE GUI;
19 months ago, by wenzelm
inplace update: proper Linux version;
19 months ago, by wenzelm
provide naproche-20220917;
19 months ago, by wenzelm
clarified NEWS;
19 months ago, by wenzelm
proper platform directory x86_64-linux, to have it purged for other platforms;
19 months ago, by wenzelm
MLton component for x86_64-linux;
19 months ago, by wenzelm
clarified Docker base image;
19 months ago, by wenzelm
proper file headers;
19 months ago, by wenzelm
tuned messages;
19 months ago, by wenzelm
support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external mlton executable;
19 months ago, by wenzelm
omit menu for unfinished tool;
19 months ago, by wenzelm
include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";
19 months ago, by wenzelm
more robust: snap version of docker cannot access /tmp;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
update to scala-3.2.0;
19 months ago, by wenzelm
avoid crash of JLine on Windows;
19 months ago, by wenzelm
update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu-openjdk/release-notes/11.58-17.36-august-2022);
19 months ago, by wenzelm
clarified default, following 8b695e59db3f;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip