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
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
34 hours ago, by nipkow
added Example theory
34 hours ago, by nipkow
merged
34 hours ago, by paulson
Minor lemma tweaking
34 hours ago, by paulson
merged
35 hours ago, by wenzelm
merged
37 hours ago, by wenzelm
tuned output;
38 hours ago, by wenzelm
tuned comments;
38 hours ago, by wenzelm
clarified signature;
39 hours ago, by wenzelm
tuned;
39 hours ago, by wenzelm
avoid tmp files to improve robustness on Windows, where ERROR_PATH_NOT_FOUND has been seen (see also 569135d7352a);
39 hours ago, by wenzelm
tuned signature: more operations (following Isabelle/Scala);
2 days ago, by wenzelm
more operations;
2 days ago, by wenzelm
clarified signature: re-use existing Process_Result.T (NB: err_lines are de-facto program startup errors, anything else is redirected to out_lines);
2 days ago, by wenzelm
tuned signature: more explicit operations;
2 days ago, by wenzelm
tuned output;
2 days ago, by wenzelm
misc tuning;
2 days ago, by wenzelm
tuned Isabelle/ML: more uniform semicolons;
2 days ago, by wenzelm
clarified signature: scalable Bash.input thanks to Bytes.T;
2 days ago, by wenzelm
added time_partial_function command
37 hours ago, by nipkow
A couple of theorems proved by Manuel Eberl from his AFP entry Sum_Of_Squares_Count
2 days ago, by paulson
tuned;
3 days ago, by wenzelm
tuned;
3 days ago, by wenzelm
tuned signature;
3 days ago, by wenzelm
proper Path.print for user output (amending 9498623b27f0);
3 days ago, by wenzelm
tuned signature: more concise access to context data;
3 days ago, by wenzelm
tuned English prose;
3 days ago, by wenzelm
merged
4 days ago, by wenzelm
tuned;
4 days ago, by wenzelm
more uniform cleanup;
4 days ago, by wenzelm
tuned messages;
4 days ago, by wenzelm
more robust: avoid expand_path, which requires "bin/isabelle getenv";
4 days ago, by wenzelm
NEWS;
4 days ago, by wenzelm
enforce fresh build of HOL-Codegenerator_Test;
4 days ago, by wenzelm
more platforms (untested);
4 days ago, by wenzelm
update to mlton-20241230-1 using recent builds from https://sourceforge.net/projects/mlton;
4 days ago, by wenzelm
update to scala-3.3.5;
4 days ago, by wenzelm
update for release;
4 days ago, by wenzelm
Added tag Isabelle2025-RC1 for changeset ba3220909221
4 days ago, by wenzelm
merged
4 days ago, by paulson
nat_diff_split lemmas
4 days ago, by paulson
NEWS
4 days ago, by desharna
tuned whitespace
4 days ago, by desharna
added lemmas ex_terminating_rtranclp_strong and ex_terminating_rtranclp
Isabelle2025-RC1
4 days ago, by desharna
added lemma strict_partial_order_wfp_on_finite_set
4 days ago, by desharna
proper order of operations: archive before purge;
5 days ago, by wenzelm
more robust (see also 9601f5582f33);
5 days ago, by wenzelm
tuned spelling;
5 days ago, by wenzelm
clarified NEWS: not user-relevant;
5 days ago, by wenzelm
tuned documentation;
5 days ago, by wenzelm
clarified default of flatlaf.useNativeLibrary=false, for cross-platform GUI uniformity;
5 days ago, by wenzelm
just one flatlaf version: native libraries are optional;
5 days ago, by wenzelm
tuned;
5 days ago, by wenzelm
merged
6 days ago, by Fabian Huch
clarified name;
6 days ago, by Fabian Huch
documentation about Build_Manager;
6 days ago, by Fabian Huch
tuned;
6 days ago, by Fabian Huch
use ssh host for default address;
6 days ago, by Fabian Huch
tuned;
6 days ago, by Fabian Huch
clarified option name;
6 days ago, by Fabian Huch
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
tip