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.
plain results, no markup here;
2009-12-04, by wenzelm
basic setup for Cobra HTML renderer;
2009-12-04, by wenzelm
results: XML.Tree;
2009-12-04, by wenzelm
basic platform update;
2009-11-14, by wenzelm
Prover: private Actor;
2009-09-17, by wenzelm
tuned;
2009-09-16, by wenzelm
misc tuning;
2009-09-16, by wenzelm
Linear_Set.append_after;
2009-09-16, by wenzelm
tuned file name;
2009-09-15, by wenzelm
tuned file name;
2009-09-15, by wenzelm
renamed PhaseOverviewPanel to Document_Overview;
2009-09-15, by wenzelm
tooltip: HTML dummy;
2009-09-15, by wenzelm
tuned;
2009-09-15, by wenzelm
misc tuning and unification;
2009-09-15, by wenzelm
refrain from actor shutdown -- slightly low-level;
2009-09-15, by wenzelm
keep BufferListener and TextAreaExtension private;
2009-09-15, by wenzelm
tuned white space;
2009-09-15, by wenzelm
misc tuning;
2009-09-15, by wenzelm
handle_result: no special treatment of outer markup (it is now properly identified by the prover);
2009-09-15, by wenzelm
single instance of rule_set;
2009-09-15, by wenzelm
regular activate=defer -- may debug remotely, no need to run under netbeans;
2009-09-13, by wenzelm
avoid fractional font metrics, which produces bad antialiasing with reletively new versions of jedit and java;
2009-09-13, by wenzelm
Prover: keep command_change/document_change event buses here, not in ProofDocument, Command, State, Plugin;
2009-09-08, by wenzelm
tuned;
2009-09-07, by wenzelm
tuned;
2009-09-07, by wenzelm
Prover: just one actor -- single message dispatch;
2009-09-07, by wenzelm
modernized Event_Bus -- based on actors;
2009-09-07, by wenzelm
eliminated ProverEvents.Activate -- handle "ready" within Prover;
2009-09-07, by wenzelm
corrected order
2009-09-07, by immler
sidekick root data: set buffer length to avoid crash of initial caret move;
2009-09-06, by wenzelm
tuned color (PG 4.0);
2009-09-06, by wenzelm
treat all messages except status as results;
2009-09-06, by wenzelm
tuned;
2009-09-06, by wenzelm
tuned;
2009-09-06, by wenzelm
replaced find_command_at by command_at -- null-free, proper Option;
2009-09-06, by wenzelm
tuned;
2009-09-06, by wenzelm
tuned;
2009-09-06, by wenzelm
minor tuning;
2009-09-06, by wenzelm
tuned MarkupNode argument order;
2009-09-05, by wenzelm
eliminated MarkupInfo, moved particular variants into object Command;
2009-09-05, by wenzelm
removed dead code;
2009-09-05, by wenzelm
MarkupNode: removed id;
2009-09-05, by wenzelm
simplified MarkupNode -- independent of Command and ProofDocument;
2009-09-04, by wenzelm
minor tuning;
2009-09-04, by wenzelm
sorted;
2009-09-03, by wenzelm
IsabelleSideKickParser: incorporate former MarkupNode.markup2default_node, observe stopped flag;
2009-09-03, by wenzelm
tuned imports;
2009-09-03, by wenzelm
tuned;
2009-09-03, by wenzelm
tuned;
2009-09-03, by wenzelm
State: immutable;
2009-09-03, by wenzelm
tuned;
2009-09-03, by wenzelm
minor tuning;
2009-09-03, by wenzelm
unified Swing_Thread.delay_first/last;
2009-09-02, by wenzelm
sealed Edit;
2009-09-02, by wenzelm
Isabelle_Process: receiver as Actor -- requires Scheduler.shutdown in the end;
2009-09-01, by wenzelm
option -d: enable debugger;
2009-09-01, by wenzelm
modernized Isar_Document;
2009-09-01, by wenzelm
use Linear_Set from Isabelle/Pure.jar;
2009-09-01, by wenzelm
lazy fields
2009-08-27, by immler
better performance
2009-08-27, by immler
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip