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
Fri, 22 Dec 2017 16:26:14 +0100 wenzelm tuned; file | diff | annotate
Fri, 22 Dec 2017 16:20:37 +0100 wenzelm clarified URL: unique node name; file | diff | annotate
Fri, 22 Dec 2017 14:27:59 +0100 wenzelm clarified modules; file | diff | annotate
Fri, 22 Dec 2017 13:51:20 +0100 wenzelm proper HTML title; file | diff | annotate
Thu, 21 Dec 2017 22:41:57 +0100 wenzelm isabelle.preview presents bibtex database files as well; file | diff | annotate
Thu, 21 Dec 2017 22:38:28 +0100 wenzelm clarified signature; file | diff | annotate
Thu, 21 Dec 2017 22:07:30 +0100 wenzelm isabelle.preview presents auxiliary text files as well; file | diff | annotate
Thu, 21 Dec 2017 17:28:39 +0100 wenzelm tuned signature; file | diff | annotate
Sun, 12 Nov 2017 19:46:19 +0100 wenzelm tuned signature; file | diff | annotate
Mon, 06 Nov 2017 16:03:13 +0100 wenzelm tuned signature; file | diff | annotate
Tue, 31 Oct 2017 15:55:50 +0100 wenzelm clarified modules; file | diff | annotate
Fri, 29 Sep 2017 17:35:09 +0200 wenzelm tuned; file | diff | annotate
Fri, 29 Sep 2017 17:28:44 +0200 wenzelm tuned signature; file | diff | annotate
Tue, 27 Jun 2017 23:21:12 +0200 wenzelm support for HTTP/POST method; file | diff | annotate
Wed, 21 Jun 2017 14:56:44 +0200 wenzelm tuned signature; file | diff | annotate
Wed, 21 Jun 2017 14:06:16 +0200 wenzelm tuned signature; file | diff | annotate
Mon, 19 Jun 2017 17:28:48 +0200 wenzelm clarified signature; file | diff | annotate
Sat, 17 Jun 2017 14:47:36 +0200 wenzelm maintain overlays within main state of document models; file | diff | annotate
Tue, 13 Jun 2017 20:16:39 +0200 wenzelm clarified modules; file | diff | annotate
Thu, 08 Jun 2017 14:08:07 +0200 wenzelm HTML preview based on PIDE markup; file | diff | annotate
Thu, 08 Jun 2017 12:25:59 +0200 wenzelm clarified; file | diff | annotate
Mon, 05 Jun 2017 23:55:58 +0200 wenzelm HTML preview via builtin HTTP server; file | diff | annotate
Wed, 12 Apr 2017 19:56:47 +0200 wenzelm more explicit jEdit file operations; file | diff | annotate
Mon, 03 Apr 2017 16:36:45 +0200 wenzelm provide session qualifier via resources; file | diff | annotate
Tue, 14 Mar 2017 21:43:54 +0100 wenzelm clarified singleton module; file | diff | annotate
Tue, 14 Mar 2017 21:36:27 +0100 wenzelm proper plugin access; file | diff | annotate
Tue, 14 Mar 2017 21:26:25 +0100 wenzelm proper plugin access; file | diff | annotate
Sun, 12 Mar 2017 14:23:38 +0100 wenzelm discontinued pointless Text.Length: Javascript and Java agree in old-fashioned UTF-16; file | diff | annotate
Mon, 06 Mar 2017 17:10:37 +0100 wenzelm tuned; file | diff | annotate
Thu, 12 Jan 2017 12:32:32 +0100 wenzelm tuned whitespace; file | diff | annotate
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
less more (0) -100 -60 tip
isabelle