Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-240
+240
+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.
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
equal should be included
2009-07-15, by immler
arbitrary history
2009-07-13, by immler
commands carrying state-information
2009-07-08, by immler
gui element to set current document version
2009-07-08, by immler
set current document version; forget "future" versions in list
2009-07-08, by immler
current version in theoryview/buffer
2009-07-08, by immler
activation
2009-07-08, by immler
remember removed text
2009-07-08, by immler
insert mode isabelle into catalog
2009-07-08, by immler
updated to jedit 4.3pre17 -- no longer provide separate ml.xml;
2009-07-05, by wenzelm
updated to jEdit 4.3pre17;
2009-07-05, by wenzelm
removed obsolete isabelle.utils.Delay;
2009-07-05, by wenzelm
renamed Delay to clarified version Swing_Thread.delay;
2009-07-04, by wenzelm
change_receiver: removed redundant Swing_Thread wrapper -- the Delay timer action is already in Swing;
2009-07-04, by wenzelm
replaced utils.Delay by tune version isabelle.Delay (Pure.jar);
2009-07-04, by wenzelm
use symbolic NULL;
2009-07-04, by wenzelm
tuned token styles, according to some earlier Isabelle/jEdit experiments;
2009-07-04, by wenzelm
use static Map/Set for token categorization;
2009-07-04, by wenzelm
added symbol_index (presently unused);
2009-07-04, by wenzelm
misc tuning;
2009-07-04, by wenzelm
updated to Netbeans 6.7;
2009-07-03, by wenzelm
renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;
2009-06-30, by wenzelm
preload CSS resources;
2009-06-27, by wenzelm
more robust handling of Isabelle CSS files;
2009-06-26, by wenzelm
default file is plain Scratch.thy (as in Proof General);
2009-06-26, by wenzelm
removed obsolete VFS -- superceded by IsabelleEncoding;
2009-06-26, by wenzelm
prover.set_document: plain name, no path for now;
2009-06-26, by wenzelm
removes VFS service -- superceded by UTF-8-Isabelle encoding;
2009-06-26, by wenzelm
recovered Isabelle font -- deriveFont(Int) refers to style, not size!
2009-06-26, by wenzelm
opt-out obscure encodings;
2009-06-26, by wenzelm
completion: decode symbols only if isabelle encoding is active (to prevent unicode chars written back to file);
2009-06-26, by wenzelm
decentralized Isabelle component names;
2009-06-26, by wenzelm
renamed UTF-8-isabelle to UTF-8-Isabelle;
2009-06-26, by wenzelm
pass JVM platform files, without going through the "isabelle:" VFS;
2009-06-26, by wenzelm
more precise wrapping of I/O streams;
2009-06-26, by wenzelm
some support for actual symbol recoding;
2009-06-25, by wenzelm
added IsabelleEncoding -- a clone of utf-8 for now;
2009-06-25, by wenzelm
added Boolean_Property, Int_Property;
2009-06-25, by wenzelm
simplified option pane: proper logic title, hardwired font path;
2009-06-25, by wenzelm
_canonPath: expand_path;
2009-06-25, by wenzelm
renamed IsabelleProcess to Isabelle_Process;
2009-06-25, by wenzelm
misc tuning and reorganization;
2009-06-25, by wenzelm
default sidekick.complete-delay;
2009-06-23, by wenzelm
fall back on Isabelle system completion (symbols only);
2009-06-23, by wenzelm
use isabelle.Completion;
2009-06-23, by wenzelm
acces position properties via Isabelle library;
2009-06-18, by wenzelm
simplified and reactivated SideKickCompletion, cf. org.gjt.sp.jedit.gui.CompleteWord;
2009-06-17, by wenzelm
basic keyword completions via isabelle.Scan.Lexicon;
2009-06-17, by wenzelm
minor tuning;
2009-06-16, by wenzelm
updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
2009-06-07, by wenzelm
static IsabelleSystem.charset (cf. http://isabelle.in.tum.de/repos/isabelle/rev/be0f7f4f9e12);
2009-06-07, by wenzelm
automated update by Scala plugin 6.7v1;
2009-06-04, by wenzelm
produce ids via Isabelle.system (http://isabelle.in.tum.de/repos/isabelle/rev/c23663825e23);
2009-06-04, by wenzelm
ExternalHyperlink.click: use IsabelleSystem.source_file provided in http://isabelle.in.tum.de/repos/isabelle/rev/dde1b4d1c95b
2009-06-04, by wenzelm
more robust get_offsets;
2009-06-04, by wenzelm
updates for Netbeans 6.7;
2009-06-03, by wenzelm
merged
2009-06-02, by wenzelm
merged
2009-06-02, by immler
merged; resolved superficial conflicts
2009-06-02, by immler
linearset works faster here
2009-06-02, by immler
lists work faster here
2009-06-02, by immler
fixed duplicate document-id
2009-06-02, by immler
ignore unchanged commands
2009-06-02, by immler
ignore unchanged tokens
2009-06-02, by immler
split change on activate
2009-06-02, by immler
return unchanged node on errors
2009-06-02, by immler
handle_result: activate via explicit status "ready" (cf. http://isabelle.in.tum.de/repos/isabelle/rev/ce169bd37fc0);
2009-06-02, by wenzelm
superficial tuning;
2009-06-02, by wenzelm
updated versions;
2009-06-02, by wenzelm
type_at: no quotes;
2009-06-02, by wenzelm
tuned;
2009-06-02, by wenzelm
use RichString.* to produce blanks;
2009-06-02, by wenzelm
change_receiver: start only once (already done in actor function);
2009-06-02, by wenzelm
superficial tuning;
2009-06-02, by wenzelm
slightly more robust treatment of options via arrays;
2009-05-30, by wenzelm
merged
2009-05-30, by wenzelm
outer syntax could clash with status on removed commands
2009-05-27, by immler
no null change
2009-05-27, by immler
fixed delete markup
2009-05-27, by immler
check presence of begin, end in attributes
2009-05-27, by immler
treat comments like seperate commands,
2009-05-27, by immler
split large changes for faster responses of prover
2009-05-27, by immler
changed handling of subdirectories
2009-05-25, by immler
more accurate setup for "jEdit" project;
2009-05-30, by wenzelm
recovered iso-latin-1 text;
2009-05-23, by wenzelm
improved handling of markup-information with command=null
2009-05-22, by immler
implemented links to other files
2009-05-22, by immler
implemented IsabelleHyperlinkSource (only links inside the current buffer)
2009-05-22, by immler
corrected offset
2009-05-22, by immler
fixed duplicate activation
2009-05-22, by immler
removed debug-painting
2009-05-22, by immler
let MarkupNode carry arbitrary information
2009-05-22, by immler
added hyperlink plugin
2009-05-22, by immler
ML types in tooltip
2009-05-22, by immler
chaned '+'
2009-05-22, by immler
reduced to one markup-tree
2009-05-22, by immler
implemented filter on markup-tree
2009-05-22, by immler
fixed flatten
2009-05-22, by immler
immutable markup-nodes;
2009-04-29, by immler
seperate node for syntax-highlighting
2009-04-27, by immler
included information on ML status messages in Sidekick's status-window
2009-04-27, by immler
abs. stops, markup nodes depend on doc-version;
2009-04-22, by immler
merged
2009-04-20, by immler
Anti-aliasing is now controlled via the smoothing threshhold
2009-04-20, by immler
incomplete changes of immutable tokens and commands
2009-04-20, by immler
prepared proofdocument for only needed changes
2009-04-16, by immler
use jEdits styles
2009-04-15, by immler
corrected displaying of phases in buffer with few lines;
2009-04-15, by immler
fixed shifting;
2009-04-14, by immler
correct order, added curreeeent change
2009-04-07, by immler
implemented to_current and from_current in dependancy of document-versions
2009-04-06, by immler
proofdocument-versions get id from changes
2009-04-06, by immler
when jEdit is run from Netbeans, activate=defer does not work (why?)
2009-03-28, by immler
merged: resolved conflicts with Markups: ML-syntax styles in styles.props
2009-03-23, by immler
changes of text with unique id
2009-03-20, by immler
fixes
2009-03-20, by immler
merged; resolved conflicts (kept own versions)
2009-03-19, by immler
Prover as actor managing ProofDocument-versions (removed EventBus structural_changes);
2009-03-19, by immler
build jar before running/debugging
2009-03-19, by immler
probably setup from new Scala Plugin 0.15.1 for NetBeans
2009-03-19, by immler
LinearSet.prev
2009-03-19, by immler
merged, resolving minor conflicts;
2009-03-02, by wenzelm
preliminary/failed attempt to use the new IsarDocument access model to the prover;
2009-03-02, by wenzelm
ProofDocument without state
2009-03-08, by immler
*very* superficial usage of LinearSet
2009-03-05, by immler
implemented delete_after
2009-03-05, by immler
implemented insert_after
2009-03-05, by immler
changed title
2009-03-04, by immler
added Makarius' LinearSet
2009-03-04, by immler
tokens and commands as lists
2009-02-19, by immler
styles properties
2009-02-05, by immler
syntax styles in properties
2009-02-04, by immler
all token kinds have to be non-null
2009-02-04, by immler
removed redundant code
2009-02-04, by immler
added ML syntax markup;
2009-03-20, by wenzelm
recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013);
2009-03-20, by wenzelm
more robust copying of jars;
2009-03-20, by wenzelm
referred to old version of TokenMarker
2009-02-02, by immler
implemented markTokens;
2009-02-02, by immler
more flexible commands-iterators
2009-02-01, by immler
use FontMetrics.getMaxAdvance if available; tuned
2009-02-01, by immler
renamed fields of MarkupNode; implemented flatten and leafs
2009-02-01, by immler
respect current offsets
2009-02-01, by immler
modified netbeans build such that dist can be used as settings-directory for jedit;
2009-02-01, by immler
merge
2009-02-01, by immler
take content of asset for description in status-view of Sidekick
2009-01-24, by immler
less
more
|
(0)
-30000
-10000
-3000
-1000
-240
+240
+1000
+3000
+10000
+30000
tip