Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/jedit/isabelle_sidekick.scala
Sun, 28 Nov 2010 19:35:14 +0100 wenzelm tuned signature; file | diff | annotate
Thu, 11 Nov 2010 13:23:39 +0100 wenzelm tuned; file | diff | annotate
Wed, 10 Nov 2010 20:43:22 +0100 wenzelm Sidekick block asset: show first line only; file | diff | annotate
Wed, 10 Nov 2010 20:21:55 +0100 wenzelm added buffer_text convenience, with explicit locking; file | diff | annotate
Wed, 10 Nov 2010 15:43:06 +0100 wenzelm treat main theory commands like headings, and nest anything else inside; file | diff | annotate
Wed, 10 Nov 2010 15:17:25 +0100 wenzelm default Sidekick parser based on section headings; file | diff | annotate
Tue, 09 Nov 2010 23:24:46 +0100 wenzelm misc tuning and simplification, using Isabelle_Sidekick.Asset (not sidekick.Asset, which is dynamically dispatched to slightly different semantics); file | diff | annotate
Thu, 23 Sep 2010 14:26:55 +0200 wenzelm tuned Isabelle_Sidekick.complete: lock buffer, depend on document model; file | diff | annotate
Wed, 25 Aug 2010 11:13:27 +0200 wenzelm tuned raw Sidekick output; file | diff | annotate
Tue, 24 Aug 2010 20:36:48 +0200 wenzelm tuned root markup; file | diff | annotate
Mon, 23 Aug 2010 17:35:47 +0200 wenzelm sporadic locking of jEdit buffer; file | diff | annotate
Sun, 22 Aug 2010 18:46:16 +0200 wenzelm renamed Markup_Tree.Node to Text.Info; file | diff | annotate
Fri, 20 Aug 2010 20:11:25 +0200 wenzelm tuned signatures; file | diff | annotate
Thu, 19 Aug 2010 22:52:00 +0200 wenzelm parameterized type Markup_Tree.Node; file | diff | annotate
Wed, 18 Aug 2010 23:44:50 +0200 wenzelm more efficient Markup_Tree, based on branches sorted by quasi-order; file | diff | annotate
Sun, 15 Aug 2010 22:48:56 +0200 wenzelm specific types Text.Offset and Text.Range; file | diff | annotate
Sun, 15 Aug 2010 14:18:52 +0200 wenzelm renamed class Document to Document.Version etc.; file | diff | annotate
Sat, 14 Aug 2010 22:45:23 +0200 wenzelm more basic Markup.parse_int/print_int (using signed_string_of_int) (ML); file | diff | annotate
Thu, 12 Aug 2010 14:22:23 +0200 wenzelm misc tuning and simplification; file | diff | annotate
Wed, 11 Aug 2010 23:46:38 +0200 wenzelm Document.print_id; file | diff | annotate
Wed, 11 Aug 2010 23:29:17 +0200 wenzelm consider command state as part of Snapshot, not Document; file | diff | annotate
Sat, 07 Aug 2010 16:15:52 +0200 wenzelm more explicit treatment of Swing thread context; file | diff | annotate
Thu, 05 Aug 2010 18:00:37 +0200 wenzelm Change.Snapshot: include from_current/to_current here, with precomputed changes; file | diff | annotate
Thu, 05 Aug 2010 16:58:18 +0200 wenzelm explicit Change.Snapshot and Document.Node; file | diff | annotate
Thu, 05 Aug 2010 14:35:35 +0200 wenzelm simplified/refined document model: collection of named nodes, without proper dependencies yet; file | diff | annotate
Thu, 20 May 2010 10:43:46 +0200 wenzelm explicit Command.Status.UNDEFINED -- avoid fragile/cumbersome treatment of Option[State]; file | diff | annotate
Sun, 09 May 2010 13:18:13 +0200 wenzelm more basic replacement of newlines; file | diff | annotate
Sat, 08 May 2010 21:25:25 +0200 wenzelm proper use of var stopped; file | diff | annotate
Sat, 08 May 2010 21:08:30 +0200 wenzelm tuned headers; file | diff | annotate
Sat, 08 May 2010 20:58:02 +0200 wenzelm tuned; file | diff | annotate
Fri, 07 May 2010 23:44:10 +0200 wenzelm support several sidekick parsers -- very basic default parser; file | diff | annotate
Fri, 07 May 2010 22:38:13 +0200 wenzelm sidekick: unformatted content, notably without newlines; file | diff | annotate
Tue, 30 Mar 2010 00:13:27 +0200 wenzelm adapted to Scala 2.8.0 Beta 1; file | diff | annotate
Fri, 05 Feb 2010 22:07:42 +0100 wenzelm filter out identical completions only after symbols.decode -- recover completion of literal symbols (e.g. \<AA>); file | diff | annotate
Mon, 11 Jan 2010 23:00:05 +0100 wenzelm incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser); file | diff | annotate
Mon, 11 Jan 2010 20:51:58 +0100 wenzelm more tobust treatment of Document.current_state; file | diff | annotate
Mon, 11 Jan 2010 01:40:18 +0100 wenzelm renamed Command.content to source; file | diff | annotate
Sun, 10 Jan 2010 21:14:44 +0100 wenzelm further tuning of command_start; file | diff | annotate
Sun, 03 Jan 2010 20:50:07 +0100 wenzelm more explicit treatment of command/document state; file | diff | annotate
Fri, 01 Jan 2010 17:29:35 +0100 wenzelm renamed current_document to recent_document (might be a bit older than current_change); file | diff | annotate
Fri, 01 Jan 2010 14:41:25 +0100 wenzelm renamed Proof_Document to Document; file | diff | annotate
Wed, 30 Dec 2009 21:57:29 +0100 wenzelm tuned signature; file | diff | annotate
Tue, 22 Dec 2009 19:39:17 +0100 wenzelm adapted to class Outer_Syntax; file | diff | annotate
Tue, 22 Dec 2009 15:42:29 +0100 wenzelm tuned; file | diff | annotate
Tue, 22 Dec 2009 15:35:30 +0100 wenzelm just one variable for outer syntax keywords and completion; file | diff | annotate
Mon, 21 Dec 2009 15:13:42 +0100 wenzelm sort completions by plain string order; file | diff | annotate
Tue, 15 Dec 2009 20:44:59 +0100 wenzelm some explicit Swing_Thread guards; file | diff | annotate
Tue, 15 Dec 2009 20:20:07 +0100 wenzelm direct apply for Document_Model and Document_View; file | diff | annotate
Tue, 15 Dec 2009 19:50:55 +0100 wenzelm split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea); file | diff | annotate
Thu, 10 Dec 2009 22:15:19 +0100 wenzelm class Session models full session, with or without prover process (cf. heaps, browser_info); file | diff | annotate
Tue, 08 Dec 2009 16:30:20 +0100 wenzelm misc modernization of names; file | diff | annotate
Tue, 08 Dec 2009 14:49:01 +0100 wenzelm misc rearrangement of files; file | diff | annotate | base
less more (0) tip
isabelle