Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-16
+16
+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
14 months ago, by wenzelm
more compact representation of theory_id -- via consecutive thread-local ids;
14 months ago, by wenzelm
misc tuning and clarification;
14 months ago, by wenzelm
more compact representation;
14 months ago, by wenzelm
more compact representation;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
more compact representation of theory_id;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
compact representation of sets of integers;
14 months ago, by wenzelm
generated build schedule explicitly (e.g., for further analysis);
14 months ago, by Fabian Huch
de-duplicated specification of class ring_bit_operations
14 months ago, by haftmann
generalized
14 months ago, by haftmann
restructured
14 months ago, by haftmann
grouped lemmas for symbolic computations
14 months ago, by haftmann
sorted out lemma duplicates
14 months ago, by haftmann
more reactive headless server, in contrast to 15656ad28691 (when "isabelle dump" was important to export AFP content);
14 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-16
+16
+100
+300
+1000
tip