isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 +3000 +10000 +30000 tip

basic setup for HTML_Panel event handling;
2009-12-10, by wenzelm
install_fonts;
2009-12-10, by wenzelm
renamed "raw output" to "protocol";
2009-12-08, by wenzelm
proper actor wiring for raw process output;
2009-12-08, by wenzelm
misc tuning;
2009-12-08, by wenzelm
prefer options from running application;
2009-12-08, by wenzelm
more precise messages;
2009-12-08, by wenzelm
back to low-level JPanel, required for addNotify/removeNotify;
2009-12-08, by wenzelm
added properties_changed event bus;
2009-12-08, by wenzelm
provide dummy URL;
2009-12-08, by wenzelm
generic HTML_Panel -- specific Results_Dockable;
2009-12-08, by wenzelm
tuned;
2009-12-08, by wenzelm
tuned;
2009-12-08, by wenzelm
simplified register_fonts;
2009-12-08, by wenzelm
tuned library names;
2009-12-08, by wenzelm
misc modernization of names;
2009-12-08, by wenzelm
misc rearrangement of files;
2009-12-08, by wenzelm
removed remains of Flying Saucer;
2009-12-08, by wenzelm
manipulate document within Swing thread only -- potentially slow;
2009-12-08, by wenzelm
tuned JVM settings;
2009-12-08, by wenzelm
misc updates;
2009-12-07, by wenzelm
obsolete;
2009-12-07, by wenzelm
use IsabelleText by default;
2009-12-07, by wenzelm
misc updates;
2009-12-07, by wenzelm
simplified treatment of Isabelle fonts, via Isabelle_System.register_fonts (requires Java 1.6);
2009-12-07, by wenzelm
removed ScrollerDockable, which is based on discontinued Flying Saucer renderer;
2009-12-07, by wenzelm
use IsabelleText font;
2009-12-07, by wenzelm
reduced logging;
2009-12-06, by wenzelm
tuned message markup;
2009-12-04, by wenzelm
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
no busy waiting
2009-08-27, by immler
global event buses for changes concerning commands and document edits
2009-08-27, by immler
include scala-swing
2009-08-27, by immler
merged
2009-08-27, by immler
must unapply edits in reverse order
2009-08-27, by immler
fixed some issues with multiple active buffers
2009-08-27, by immler
clarified structure of TheoryView
2009-08-27, by immler
improved repainting
2009-08-27, by immler
tuned whitespace
2009-08-27, by immler
catching NPE on val
2009-08-27, by immler
Command and Command_State handle results from prover as Accumulator
2009-08-27, by immler
trait Accumulator;
2009-08-27, by immler
Command notifies changes
2009-08-27, by immler
change_receiver and output_info are used before regular initialisation
2009-08-27, by immler
TheoryView starts Prover
2009-08-27, by immler
output_info specific to prover
2009-08-27, by immler
proper activation with multiple buffers
2009-08-27, by immler
state_update global in Plugin
2009-08-27, by immler
unused
2009-08-27, by immler
fixed special case;
2009-08-27, by immler
added shortcut
2009-08-27, by immler
generalized settings;
2009-08-22, by wenzelm
Isabelle component;
2009-08-22, by wenzelm
less ambitious array operations -- for improved compatibility with older versions of bash;
2009-08-22, by wenzelm
Text is not present any more
2009-08-13, by immler
typo
2009-08-13, by immler
Change consisting of a list of Edits
2009-08-07, by immler
add is a private function
2009-08-03, by immler
avoid internal "add" method;
2009-07-27, by wenzelm
removed unused imports;
2009-07-27, by wenzelm
decode offsets with respect to symbols
2009-07-15, by immler