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
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.
misc tuning and clarification: more explicit types;
6 weeks ago, by wenzelm
more accurate indentation: retain (before: Double) until it is materialized as blanks;
6 weeks ago, by wenzelm
misc tuning: more uniform;
6 weeks ago, by wenzelm
clarified internal data representation, following push/pop model of Scala version;
6 weeks ago, by wenzelm
tuned names;
6 weeks ago, by wenzelm
more accurate formatting of open_block: markup only, without affecting layout (e.g. via force_next);
6 weeks ago, by wenzelm
tuned: more uniform;
6 weeks ago, by wenzelm
proper treatment of XML.Wrapped_Elem as open_block (amending 7cacedbddba7, but this case is presently unused);
6 weeks ago, by wenzelm
tuned;
6 weeks ago, by wenzelm
unused;
6 weeks ago, by wenzelm
tuned signature;
6 weeks ago, by wenzelm
tuned: more uniform;
6 weeks ago, by wenzelm
tuned: more uniform;
6 weeks ago, by wenzelm
clarified data representation: less redundancy;
6 weeks ago, by wenzelm
tuned;
6 weeks ago, by wenzelm
minor performance tuning;
6 weeks ago, by wenzelm
clarified signature: more direct indent_markup;
6 weeks ago, by wenzelm
more LaTeX markup;
6 weeks ago, by wenzelm
Backed out changeset 0ca0a47235e5 (produced Code check failed for Haskell?)
6 weeks ago, by nipkow
tuned
6 weeks ago, by nipkow
merged
6 weeks ago, by nipkow
merged
8 weeks ago, by nipkow
merged
2 months ago, by nipkow
tuned slow proof
2 months ago, by nipkow
merged
6 weeks ago, by wenzelm
proper bullet symbols for GUI text -- in contrast to Isabelle \<bullet> 0x002219;
6 weeks ago, by wenzelm
tuned: more direct GUI painting via HTML;
6 weeks ago, by wenzelm
tuned generated output: more standard operations;
6 weeks ago, by wenzelm
tuned GUI output: more uniform;
6 weeks ago, by wenzelm
minor performance tuning;
6 weeks ago, by wenzelm
tuned generated output: more standard operations;
6 weeks ago, by wenzelm
clarified signature: more operations;
6 weeks ago, by wenzelm
more accurate treatment of plain text (amending eede0cf38a63);
6 weeks ago, by wenzelm
clarified signature: more operations;
6 weeks ago, by wenzelm
clarified signature;
6 weeks ago, by wenzelm
tuned, following theories_status.scala;
6 weeks ago, by wenzelm
tuned imports;
7 weeks ago, by wenzelm
tuned GUI output;
7 weeks ago, by wenzelm
clarified signature: ensure uniform style;
7 weeks ago, by wenzelm
tuned GUI output;
7 weeks ago, by wenzelm
clarified signature;
7 weeks ago, by wenzelm
tuned;
7 weeks ago, by wenzelm
clarified signature;
7 weeks ago, by wenzelm
drop redundant space in HTML (see also 18a720984855);
7 weeks ago, by wenzelm
clarified signature;
7 weeks ago, by wenzelm
more robust: proper HTML.output;
7 weeks ago, by wenzelm
tuned signature;
7 weeks ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
7 weeks ago, by wenzelm
clarified output;
7 weeks ago, by wenzelm
clarified signature;
7 weeks ago, by wenzelm
more GUI styles;
7 weeks ago, by wenzelm
clarified signature;
7 weeks ago, by wenzelm
tuned signature;
7 weeks ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
7 weeks ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
7 weeks ago, by wenzelm
tuned proofs;
7 weeks ago, by wenzelm
some bit operations on target numerals
7 weeks ago, by haftmann
explicit tests for target-language bit operations
7 weeks ago, by haftmann
avoid default simp rule which would produce strange recursive unfolding in presence of bit_eq_iff
7 weeks ago, by haftmann
update to xz-java-1.10 for further testing (see also fe7238c01809);
7 weeks ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
tip