Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
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.
added option jedit_symbols_search_limit;
2012-11-24, by wenzelm
avoid empty tooltip;
2012-11-24, by wenzelm
tuned symbol groups;
2012-11-24, by wenzelm
special handling of control symbols in Symbols dockable;
2012-11-24, by wenzelm
recovered some tooltip wrapping from e2762f962042, with multi-line support via HTML.encode;
2012-11-24, by wenzelm
avoid showing semantic aspects of Unicode -- Isabelle/Scala merely (ab)uses the low-level rendering model (codepoint + font);
2012-11-24, by wenzelm
more NEWS/CONTRIBUTORS;
2012-11-24, by wenzelm
improved editing support for control styles;
2012-11-24, by wenzelm
added ISABELLE_PLATFORM_FAMILY;
2012-11-24, by wenzelm
merged
2012-11-23, by nipkow
moved lemma
2012-11-23, by nipkow
timeout in proper place (HOL-Quickcheck_Examples approx. 1min, HOL-Quickcheck_Benchmark approx. 1h);
2012-11-23, by wenzelm
add quotient_of_div
2012-11-23, by hoelzl
generate correct names
2012-11-23, by kuncar
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip