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.
clarified command-line;
13 months ago, by wenzelm
update Linux base-line;
13 months ago, by wenzelm
tuned comments;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
simplified typesetting of \<guillemotleft>...\<guillemotright>;
13 months ago, by wenzelm
collecting more lemmas concerning multisets
13 months ago, by haftmann
proper use of antiquotations;
13 months ago, by wenzelm
more documentation on "Conversions";
13 months ago, by wenzelm
tuned
13 months ago, by nipkow
updated example;
13 months ago, by wenzelm
clarified options (again);
13 months ago, by wenzelm
more options: update ISABELLE_IDENTIFIER;
13 months ago, by wenzelm
clarified conditional ML;
13 months ago, by wenzelm
support for conditional ML text;
13 months ago, by wenzelm
updated example;
13 months ago, by wenzelm
clarified options;
13 months ago, by wenzelm
proper context variable handling when stripping leadings quantifiers from test goals
13 months ago, by haftmann
proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);
13 months ago, by wenzelm
eliminated perl: prefer elementary GNU printenv;
13 months ago, by wenzelm
more robust bootstrap of components;
13 months ago, by wenzelm
more self-contained support for macOS;
13 months ago, by wenzelm
misc tuning and clarification;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
support for base64 via Isabelle/Scala/ML;
13 months ago, by wenzelm
compile;
13 months ago, by wenzelm
clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);
13 months ago, by wenzelm
clarified signature (again);
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
unused;
13 months ago, by wenzelm
unused;
13 months ago, by wenzelm
clarified signature: more structured arguments, notably for remote provers;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
clarified signature: avoid tmp file;
13 months ago, by wenzelm
clarified signature for Scala functions;
13 months ago, by wenzelm
clarified message output: flush already happens in write_message_yxml (see Isabelle/22b5ecb53dd9);
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
clarified cache;
13 months ago, by wenzelm
clarified signature: Bytes extends CharSequence already (see d201996f72a8);
13 months ago, by wenzelm
clarified exceptions;
13 months ago, by wenzelm
more uniform use of Byte_Message;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
more robust treatment of empty markup: it allows to produce formal chunks;
13 months ago, by wenzelm
collected combinatorial material
13 months ago, by haftmann
tuned;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
more documentation;
13 months ago, by wenzelm
proper treatment of nested antiquotations;
13 months ago, by wenzelm
support for ML special forms: modified evaluation similar to Scheme;
13 months ago, by wenzelm
clarified signature: more detailed token positions for antiquotations;
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
confluent preprocessing for floats in presence of target language numerals
13 months ago, by haftmann
subclass relation
13 months ago, by haftmann
some tinkering with npm versions;
13 months ago, by wenzelm
some tinkering with npm versions;
13 months ago, by wenzelm
back to post-release mode;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
auto-update due to "isabelle build_vscode";
13 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip