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
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
13 months ago, by wenzelm
tuned --- rename = dist_name is sufficient;
13 months ago, by wenzelm
proper dist_name;
13 months ago, by wenzelm
clarified option -P: allow empty argument;
13 months ago, by wenzelm
support for existing release archive;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
more website content;
14 months ago, by wenzelm
misc tuning and clarification: more explicit types Release_Context, Release_Archive;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
tuned theory structure
13 months ago, by haftmann
more appropriate location
13 months ago, by haftmann
collected lemmas on permutations
14 months ago, by haftmann
A nice cardinality lemma
14 months ago, by paulson
tuned
14 months ago, by nipkow
more robust indentation: proper line context after insert;
14 months ago, by wenzelm
more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().getModeName();
14 months ago, by wenzelm
support nested cases;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
early definition of ML antiquotations;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
clarified signature: more operations;
14 months ago, by wenzelm
clarified signature: more operations;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
clarified command-line, following other build_XYZ tools;
14 months ago, by wenzelm
more recent OCaml and GHC stack: better support for Apple Silicon;
14 months ago, by wenzelm
merged
14 months ago, by wenzelm
avoid "exec" to change the winpid;
14 months ago, by wenzelm
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
14 months ago, by wenzelm
fast approximation of test for process group (NB: initial process might already be terminated, while background processes are still running);
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
rebuild executable for x86_64-darwin;
14 months ago, by wenzelm
clarified command-line;
14 months ago, by wenzelm
update Linux base-line;
14 months ago, by wenzelm
tuned comments;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
simplified typesetting of \<guillemotleft>...\<guillemotright>;
14 months ago, by wenzelm
collecting more lemmas concerning multisets
14 months ago, by haftmann
proper use of antiquotations;
14 months ago, by wenzelm
more documentation on "Conversions";
14 months ago, by wenzelm
tuned
14 months ago, by nipkow
updated example;
14 months ago, by wenzelm
clarified options (again);
14 months ago, by wenzelm
more options: update ISABELLE_IDENTIFIER;
14 months ago, by wenzelm
clarified conditional ML;
14 months ago, by wenzelm
support for conditional ML text;
14 months ago, by wenzelm
updated example;
14 months ago, by wenzelm
clarified options;
14 months ago, by wenzelm
proper context variable handling when stripping leadings quantifiers from test goals
14 months ago, by haftmann
proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);
14 months ago, by wenzelm
eliminated perl: prefer elementary GNU printenv;
14 months ago, by wenzelm
more robust bootstrap of components;
14 months ago, by wenzelm
more self-contained support for macOS;
14 months ago, by wenzelm
misc tuning and clarification;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
support for base64 via Isabelle/Scala/ML;
14 months ago, by wenzelm
compile;
14 months ago, by wenzelm
clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);
14 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip