Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -100 -60 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/document_model.scala
Thu, 12 Jan 2017 11:20:40 +0100 wenzelm tuned signature; file | diff | annotate
Tue, 10 Jan 2017 17:13:01 +0100 wenzelm tuned signature; file | diff | annotate
Tue, 10 Jan 2017 16:53:05 +0100 wenzelm support "purge" operation on document model; file | diff | annotate
Tue, 10 Jan 2017 09:47:23 +0100 wenzelm accomodate very big file_models and changed_files; file | diff | annotate
Tue, 10 Jan 2017 09:40:26 +0100 wenzelm tuned; file | diff | annotate
Mon, 09 Jan 2017 22:54:48 +0100 wenzelm update File_Model based on file-system events; file | diff | annotate
Sun, 08 Jan 2017 17:10:42 +0100 wenzelm tuned; file | diff | annotate
Sun, 08 Jan 2017 16:47:53 +0100 wenzelm resolve dependencies implicitly via File_Model, without jEdit Buffer_Model; file | diff | annotate
Sun, 08 Jan 2017 13:03:14 +0100 wenzelm tuned; file | diff | annotate
Sun, 08 Jan 2017 12:31:45 +0100 wenzelm tuned signature; file | diff | annotate
Sun, 08 Jan 2017 11:41:18 +0100 wenzelm refer to bibtex entries via general Document_Model, instead of editor buffers; file | diff | annotate
Sun, 08 Jan 2017 10:56:33 +0100 wenzelm clarified modules; file | diff | annotate
Sat, 07 Jan 2017 21:32:00 +0100 wenzelm uniform Document.Model.node_edits (without void edits); file | diff | annotate
Sat, 07 Jan 2017 20:44:37 +0100 wenzelm clarified check_thy_reader: check node_name here; file | diff | annotate
Sat, 07 Jan 2017 20:37:48 +0100 wenzelm more uniform node_header (non-strict); file | diff | annotate
Sat, 07 Jan 2017 20:01:05 +0100 wenzelm tuned signature; file | diff | annotate
Sat, 07 Jan 2017 19:36:40 +0100 wenzelm tuned signature; file | diff | annotate
Sat, 07 Jan 2017 15:16:36 +0100 wenzelm clarified buffer events: exit model while loading; file | diff | annotate
Sat, 07 Jan 2017 14:34:53 +0100 wenzelm separate Buffer_Model vs. File_Model; file | diff | annotate
Fri, 06 Jan 2017 13:27:18 +0100 wenzelm manage buffer models as explicit global state; file | diff | annotate
Thu, 05 Jan 2017 12:23:25 +0100 wenzelm misc tuning and clarification; file | diff | annotate
Wed, 28 Dec 2016 16:50:14 +0100 wenzelm tuned; file | diff | annotate
Mon, 26 Dec 2016 15:31:13 +0100 wenzelm more uniform treatment of file name vs. theory name and special header; file | diff | annotate
Mon, 11 Jul 2016 18:18:24 +0200 wenzelm tunes signature; file | diff | annotate
Tue, 19 Apr 2016 12:06:34 +0200 wenzelm more IDE support for Isabelle/Pure bootstrap; file | diff | annotate
Sat, 09 Apr 2016 19:30:15 +0200 wenzelm support ROOT0.ML as well -- independently of ROOT.ML; file | diff | annotate
Wed, 06 Apr 2016 23:45:19 +0200 wenzelm treat ROOT.ML as theory with header "theory ML_Root imports ML_Bootstrap begin"; file | diff | annotate
Mon, 25 Jan 2016 14:51:04 +0100 wenzelm more thorough syntax_changed: new commands need require new folds; file | diff | annotate
Sat, 21 Nov 2015 20:13:52 +0100 wenzelm double flush to ensure persistent "state" output is reset; file | diff | annotate
Mon, 02 Nov 2015 10:38:42 +0100 wenzelm avoid highlighted area getting "stuck" after edit; file | diff | annotate
Sat, 19 Sep 2015 19:34:51 +0200 wenzelm tuned signature; file | diff | annotate
Sat, 15 Aug 2015 18:59:31 +0200 wenzelm more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer; file | diff | annotate
Fri, 08 May 2015 10:19:44 +0200 wenzelm more conservative Document_Model.init: avoid Document.Node.Clear due to change of token marker (e.g. due to change of jEdit mode properties); file | diff | annotate
Thu, 07 May 2015 21:30:52 +0200 wenzelm no GUI_Thread for SideKick parsers (in contrast to 4c8205fe3644), to avoid danger of deadlock due to nested context switch; file | diff | annotate
Tue, 17 Mar 2015 16:38:09 +0100 wenzelm tuned; file | diff | annotate
Tue, 17 Mar 2015 16:17:49 +0100 wenzelm tight span for theory header, which is relevant for error positions (including semantic completion); file | diff | annotate
Mon, 16 Mar 2015 13:32:31 +0100 wenzelm avoid duplicate header errors, more precise positions; file | diff | annotate
Sun, 15 Mar 2015 20:35:47 +0100 wenzelm clarified span position; file | diff | annotate
Thu, 08 Jan 2015 20:56:39 +0100 wenzelm tuned; file | diff | annotate
Tue, 02 Dec 2014 17:30:53 +0100 wenzelm added Untyped.method convenience (for *this* class only); file | diff | annotate
Tue, 02 Dec 2014 16:40:11 +0100 wenzelm tuned signature -- more explicit types; file | diff | annotate
Tue, 02 Dec 2014 16:10:11 +0100 wenzelm more careful syntax_changed propagation -- avoid global jEdit.propertiesChanged; file | diff | annotate
Tue, 02 Dec 2014 14:16:56 +0100 wenzelm node-specific syntax, with base_syntax as default; file | diff | annotate
Mon, 01 Dec 2014 19:25:20 +0100 wenzelm clarified token marker / syntax for mode vs. buffer; file | diff | annotate
Sun, 05 Oct 2014 18:21:39 +0200 wenzelm clarified modules; file | diff | annotate
Sun, 05 Oct 2014 18:14:26 +0200 wenzelm clarified modules; file | diff | annotate
Sun, 05 Oct 2014 15:05:26 +0200 wenzelm maintain Document_Model.bibtex_entries; file | diff | annotate
Sun, 10 Aug 2014 15:16:01 +0200 wenzelm tuned -- eliminated redundant check (see 1f77110c94ef); file | diff | annotate
Wed, 23 Jul 2014 16:56:03 +0200 wenzelm more frugal edits; file | diff | annotate
Wed, 23 Jul 2014 13:01:30 +0200 wenzelm more explicit discrimination of empty nodes -- suppress from Theories panel; file | diff | annotate
Wed, 23 Jul 2014 11:19:24 +0200 wenzelm clarified module name: facilitate alternative GUI frameworks; file | diff | annotate
Wed, 23 Jul 2014 10:02:19 +0200 wenzelm tuned signature; file | diff | annotate
Fri, 02 May 2014 13:52:45 +0200 wenzelm more frugal access to theory text via Reader, reduced costs for I/O text decoding; file | diff | annotate
Wed, 30 Apr 2014 22:34:11 +0200 wenzelm some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path; file | diff | annotate
Sat, 26 Apr 2014 13:34:10 +0200 wenzelm tuned signature; file | diff | annotate
Tue, 22 Apr 2014 23:49:15 +0200 wenzelm avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0; file | diff | annotate
Tue, 08 Apr 2014 20:03:00 +0200 wenzelm simplified Text.Chunk -- eliminated ooddities; file | diff | annotate
Tue, 08 Apr 2014 16:07:02 +0200 wenzelm avoid data redundancy; file | diff | annotate
Tue, 08 Apr 2014 15:12:54 +0200 wenzelm tuned signature -- moved Command.Chunk to Text.Chunk; file | diff | annotate
Tue, 08 Apr 2014 12:19:33 +0200 wenzelm more explicit Command.Chunk types, less ooddities; file | diff | annotate
less more (0) -100 -60 tip
isabelle