Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+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.
rebuilt from fresh copy of Bitstream Vera, for improved quality of regular text glyphs;
2010-01-12, by wenzelm
tuned initial properties/perspective;
2010-01-12, by wenzelm
provide JEDIT_SETTINGS via settings;
2010-01-12, by wenzelm
updated version and dependencies;
2010-01-12, by wenzelm
recovered subscript (cf. ded5b770ec1c);
2010-01-12, by wenzelm
formal antiquotations for ML snippets; no "open" unsynchronized references
2010-01-12, by haftmann
clarified terminology;
2010-01-11, by wenzelm
merged
2010-01-11, by wenzelm
added code certificates
2010-01-11, by haftmann
tuned code equations
2010-01-11, by haftmann
Matrices form a semiring with 0
2010-01-11, by hoelzl
incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
2010-01-11, by wenzelm
ignore some src/Tools/jEdit stuff;
2010-01-11, by wenzelm
merged with converted/relocated copy of http://isabelle.in.tum.de/repos/isabelle-jedit/rev/93d884afa74b
2010-01-11, by wenzelm
more timing;
2010-01-11, by wenzelm
more tobust treatment of Document.current_state;
2010-01-11, by wenzelm
new unparsed span for text right after existing command;
2010-01-11, by wenzelm
Outer_Lex.is_ignored;
2010-01-11, by wenzelm
simplified Text_Edit;
2010-01-11, by wenzelm
eliminated strange mutable var commands;
2010-01-11, by wenzelm
updated header;
2010-01-11, by wenzelm
eliminated obsolete isabelle.proofdocument.Token;
2010-01-11, by wenzelm
do not override Command.hashCode -- which was inconsistent with eq anyway;
2010-01-11, by wenzelm
renamed Command.content to source;
2010-01-11, by wenzelm
further tuning of command_start;
2010-01-10, by wenzelm
refrain from poking blink rate -- might get stuck in invisible state;
2010-01-10, by wenzelm
eliminated Command.stop, which tends to case duplicate traversal of commands;
2010-01-10, by wenzelm
iterators for ranges of commands/starts -- avoid extra array per document;
2010-01-10, by wenzelm
tuned document changes;
2010-01-10, by wenzelm
misc tuning and clarification of Document/Change;
2010-01-10, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip