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
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 messages;
8 days ago, by wenzelm
more robust: avoid expand_path, which requires "bin/isabelle getenv";
8 days ago, by wenzelm
NEWS;
9 days ago, by wenzelm
enforce fresh build of HOL-Codegenerator_Test;
9 days ago, by wenzelm
more platforms (untested);
9 days ago, by wenzelm
update to mlton-20241230-1 using recent builds from https://sourceforge.net/projects/mlton;
9 days ago, by wenzelm
update to scala-3.3.5;
9 days ago, by wenzelm
update for release;
9 days ago, by wenzelm
Added tag Isabelle2025-RC1 for changeset ba3220909221
9 days ago, by wenzelm
merged
8 days ago, by paulson
nat_diff_split lemmas
8 days ago, by paulson
NEWS
9 days ago, by desharna
tuned whitespace
9 days ago, by desharna
added lemmas ex_terminating_rtranclp_strong and ex_terminating_rtranclp
Isabelle2025-RC1
9 days ago, by desharna
added lemma strict_partial_order_wfp_on_finite_set
9 days ago, by desharna
proper order of operations: archive before purge;
9 days ago, by wenzelm
more robust (see also 9601f5582f33);
9 days ago, by wenzelm
tuned spelling;
9 days ago, by wenzelm
clarified NEWS: not user-relevant;
9 days ago, by wenzelm
tuned documentation;
10 days ago, by wenzelm
clarified default of flatlaf.useNativeLibrary=false, for cross-platform GUI uniformity;
10 days ago, by wenzelm
just one flatlaf version: native libraries are optional;
10 days ago, by wenzelm
tuned;
10 days ago, by wenzelm
merged
10 days ago, by Fabian Huch
clarified name;
10 days ago, by Fabian Huch
documentation about Build_Manager;
10 days ago, by Fabian Huch
tuned;
10 days ago, by Fabian Huch
use ssh host for default address;
10 days ago, by Fabian Huch
tuned;
10 days ago, by Fabian Huch
clarified option name;
10 days ago, by Fabian Huch
clarified options: extra ssh connection to cluster of build_manager;
10 days ago, by Fabian Huch
tuned output;
10 days ago, by Fabian Huch
tuned: more standard;
10 days ago, by Fabian Huch
merged;
10 days ago, by wenzelm
more NEWS;
10 days ago, by wenzelm
updated to flatlaf-3.5.4, with fallback on 2.6 for arm64-linux;
10 days ago, by wenzelm
update naproche-20250201: rebuilt executables (just one copy), provide most PDFs;
10 days ago, by wenzelm
tuned whitespace;
10 days ago, by Fabian Huch
documentation about Find_Facts;
10 days ago, by Fabian Huch
more standard: let OS pick random port by default;
10 days ago, by Fabian Huch
clarified platforms;
11 days ago, by Fabian Huch
tuned NEWS;
11 days ago, by wenzelm
merged
12 days ago, by Lukas Stevens
more canonical formatting
12 days ago, by Lukas Stevens
add hook to insert premises in the order solver
12 days ago, by Lukas Stevens
less NEWS (see also afae60d6ff15);
12 days ago, by wenzelm
switch from CVC5 to cvc5, including updates of internal tool references;
5 weeks ago, by wenzelm
more robust wrt. Par_List.map in Browser_Info.build(), see also 2fff9ce6b460 and 787a203a20b6;
12 days ago, by wenzelm
more thorough cleanup;
12 days ago, by wenzelm
more options for build_release: support bundled browser_info and Find_Facts database;
12 days ago, by wenzelm
more standard directory structure;
13 days ago, by wenzelm
tuned output;
13 days ago, by wenzelm
suppress MacOS.jar from jEdit 5.7.0, following 65fd0f032a75;
13 days ago, by wenzelm
tuned GUI: attempt to improve divider mobility;
13 days ago, by wenzelm
rebuild jedit component;
13 days ago, by wenzelm
make double sure that buffer.lineSeparator is well-defined: prevent a situation where $JEDIT_SETTINGS/properties would contain "buffer.lineSeparator=" and new-file would lead to a buffer with empty lineSeparator, and save would produce just one line;
13 days ago, by wenzelm
more accurate syntax: follow documentation in "isar-ref" (and command 'syntax_consts');
2 weeks ago, by wenzelm
more robust: make double sure that buffer.getText() is valid (see also 2e7073976c25);
2 weeks ago, by wenzelm
clarifed terminology
2 weeks ago, by haftmann
extracted the ^^ subtheory for modularity reasons
2 weeks ago, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
tip