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
+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.
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
adhoc reset of blink rate;
2010-01-10, by wenzelm
provide global "Isabelle" within interpreter loop -- using import instead of val avoids pontential conflicts with later import isabelle.jedit._;
2010-01-10, by wenzelm
redirect scala.Console output during interpretation;
2010-01-09, by wenzelm
bind "session";
2010-01-09, by wenzelm
export isabelle_system, e.g. for use via "session" in Isabelle/Scala interpreter;
2010-01-09, by wenzelm
removed unused var plugin;
2010-01-09, by wenzelm
pass all jEdit jars to compiler as classpath -- to enable proper referencing of application name space;
2010-01-09, by wenzelm
provide some bindings of jEdit values;
2010-01-09, by wenzelm
more precise prompt etc.;
2010-01-08, by wenzelm
define scala.home, for more robust startup of Scala tools, notably the compiler;
2010-01-08, by wenzelm
added jEdit Console and Scala compiler;
2010-01-08, by wenzelm
some attempts at Scala console plugin;
2010-01-08, by wenzelm
more precise treatment of document/state assigment;
2010-01-06, by wenzelm
more precise notion of bad messages;
2010-01-05, by wenzelm
use Text_Edit provided by Isabelle;
2010-01-05, by wenzelm
result.is_ready is not bad;
2010-01-05, by wenzelm
singleton status messages, with more precise patterns -- report bad messages;
2010-01-04, by wenzelm
back to explicit management of documents -- not as generic Session.Entity -- to avoid ill-defined referencing of new states;
2010-01-04, by wenzelm
slightly more uniform/robust handling of visible document;
2010-01-04, by wenzelm
recovered explicit Changed.id (copy of future document) -- avoids premature joining of result;
2010-01-03, by wenzelm
more explicit treatment of command/document state;
2010-01-03, by wenzelm
removed unused document_change bus;
2010-01-03, by wenzelm
tuned;
2010-01-01, by wenzelm
tuned;
2010-01-01, by wenzelm
misc tuning;
2010-01-01, by wenzelm
tuned Change: eliminated redundant copy of document id;
2010-01-01, by wenzelm
eliminated redundant session documents database;
2010-01-01, by wenzelm
use isabelle.Future;
2010-01-01, by wenzelm
renamed current_document to recent_document (might be a bit older than current_change);
2010-01-01, by wenzelm
renamed Proof_Document to Document;
2010-01-01, by wenzelm
tuned dialog;
2009-12-31, by wenzelm
improved dialog;
2009-12-31, by wenzelm
basic setup for synchronous / modal (!) prover startup;
2009-12-31, by wenzelm
tuned signature;
2009-12-30, by wenzelm
register Proof_Document instances as session entities -- handle Markup.EDIT messages locally;
2009-12-30, by wenzelm
tuned signature of isabelle.Position;
2009-12-30, by wenzelm
maintain generic session entities -- cover commands, states, etc. (but not yet documents);
2009-12-30, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip