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/VSCode/extension/src/extension.ts
Wed, 21 Nov 2018 15:19:11 +0100 wenzelm more robust (see https://code.visualstudio.com/docs/extensionAPI/document-selectors); file | diff | annotate
Fri, 11 Aug 2017 18:08:46 +0200 wenzelm proper state_panel exit; file | diff | annotate
Thu, 29 Jun 2017 15:12:40 +0200 wenzelm clarified editor focus; file | diff | annotate
Thu, 29 Jun 2017 14:39:24 +0200 wenzelm proper hyperlink_command, notably for locate_query; file | diff | annotate
Thu, 29 Jun 2017 11:36:25 +0200 wenzelm HTML GUI actions via JavaScript; file | diff | annotate
Tue, 20 Jun 2017 15:04:34 +0200 wenzelm added commands for spell-checker dictionary; file | diff | annotate
Fri, 16 Jun 2017 21:04:39 +0200 wenzelm clarified modules; file | diff | annotate
Fri, 16 Jun 2017 20:44:36 +0200 wenzelm tuned signature; file | diff | annotate
Fri, 16 Jun 2017 16:21:17 +0200 wenzelm support for separate proof state output; file | diff | annotate
Mon, 12 Jun 2017 15:52:49 +0200 wenzelm retain vacuous CompletionProvider for now; file | diff | annotate
Mon, 12 Jun 2017 15:40:40 +0200 wenzelm dynamic configuration of prettify-symbols-mode, similar to VSCoq; file | diff | annotate
Sat, 10 Jun 2017 22:50:40 +0200 wenzelm superseded by external protocol; file | diff | annotate
Sat, 10 Jun 2017 21:34:05 +0200 wenzelm symbol completion that bypasses the LS protocol, and thus observes the range properly; file | diff | annotate
Fri, 09 Jun 2017 17:13:50 +0200 wenzelm provide information about Isabelle symbols within VSCode; file | diff | annotate
Wed, 31 May 2017 20:43:59 +0200 wenzelm tuned signature; file | diff | annotate
Wed, 31 May 2017 20:33:26 +0200 wenzelm added update operation; file | diff | annotate
Wed, 31 May 2017 20:13:05 +0200 wenzelm clarified name; file | diff | annotate
Wed, 31 May 2017 17:32:01 +0200 wenzelm register commands earlier, before prover startup; file | diff | annotate
Wed, 31 May 2017 17:25:26 +0200 wenzelm explicit preview request/response; file | diff | annotate
Tue, 30 May 2017 22:14:00 +0200 wenzelm tuned -- like Dynamic_Preview; file | diff | annotate
Tue, 30 May 2017 22:09:37 +0200 wenzelm tuned; file | diff | annotate
Tue, 30 May 2017 22:06:39 +0200 wenzelm provide preview content on Scala side (similar to output); file | diff | annotate
Tue, 30 May 2017 19:25:06 +0200 wenzelm more careful treatment of context.subscriptions; file | diff | annotate
Tue, 30 May 2017 19:19:39 +0200 wenzelm clarified event handling; file | diff | annotate
Tue, 30 May 2017 15:29:42 +0200 wenzelm clarified modules; file | diff | annotate
Tue, 30 May 2017 14:21:42 +0200 wenzelm clarified modules; file | diff | annotate
Tue, 30 May 2017 11:54:53 +0200 wenzelm tuned imports; file | diff | annotate
Tue, 30 May 2017 11:50:12 +0200 wenzelm clarified modules; file | diff | annotate
Mon, 29 May 2017 15:16:32 +0200 wenzelm basic setup for document preview; file | diff | annotate
Tue, 14 Mar 2017 17:32:19 +0100 wenzelm always update decorations eventually after document changes: VSCode might reset it, but PIDE might produce an unchanged result that is not published again; file | diff | annotate
Sun, 12 Mar 2017 18:50:02 +0100 wenzelm suppress vacuous messages; file | diff | annotate
Sun, 12 Mar 2017 18:45:53 +0100 wenzelm clarified modules; file | diff | annotate
Sun, 12 Mar 2017 18:05:06 +0100 wenzelm more explicit message type: allows body to become empty; file | diff | annotate
Sat, 11 Mar 2017 23:12:55 +0100 wenzelm dynamic output, depending on caret focus (see also Tools/jEdit/src/output_dockable.scala); file | diff | annotate
Sat, 11 Mar 2017 20:22:43 +0100 wenzelm support for caret handling and dynamic output; file | diff | annotate
Sat, 11 Mar 2017 15:36:47 +0100 wenzelm tuned; file | diff | annotate
Sat, 11 Mar 2017 14:03:46 +0100 wenzelm proper Map operations; file | diff | annotate
Sat, 11 Mar 2017 12:12:55 +0100 wenzelm tuned signature; file | diff | annotate
Fri, 10 Mar 2017 14:16:45 +0100 wenzelm default cygwin_root from Isabelle distribution; file | diff | annotate
Fri, 10 Mar 2017 11:03:46 +0100 wenzelm prefer type equality; file | diff | annotate
Thu, 09 Mar 2017 21:25:01 +0100 wenzelm prefer immutable bindings; file | diff | annotate
Thu, 09 Mar 2017 21:22:01 +0100 wenzelm tuned; file | diff | annotate
Thu, 09 Mar 2017 21:09:45 +0100 wenzelm updated to vscode-languageclient 3.0; file | diff | annotate
Wed, 08 Mar 2017 11:45:41 +0100 wenzelm tuned; file | diff | annotate
Tue, 07 Mar 2017 10:52:04 +0100 wenzelm clarified options; file | diff | annotate
Tue, 07 Mar 2017 00:06:16 +0100 wenzelm maintain decorations for document (model) and update it for each editor (view); file | diff | annotate
Fri, 03 Mar 2017 21:56:52 +0100 wenzelm tuned; file | diff | annotate
Fri, 03 Mar 2017 19:33:52 +0100 wenzelm support for decorations; file | diff | annotate
Wed, 11 Jan 2017 16:25:15 +0100 wenzelm enable vscode_unicode_symbols by default, despite asymmetry of input and output; file | diff | annotate
Sun, 08 Jan 2017 13:08:17 +0100 wenzelm support for bibtex entries; file | diff | annotate
Mon, 02 Jan 2017 17:41:00 +0100 wenzelm avoid hardwired options: use isabelle.args settings instead; file | diff | annotate
Mon, 02 Jan 2017 17:35:51 +0100 wenzelm support for Windows; file | diff | annotate
Mon, 02 Jan 2017 15:00:55 +0100 wenzelm more robust startup; file | diff | annotate
Mon, 02 Jan 2017 14:25:46 +0100 wenzelm proper use of isabelle-ml; file | diff | annotate
Mon, 02 Jan 2017 09:39:00 +0100 wenzelm tuned; file | diff | annotate
Sun, 01 Jan 2017 20:24:19 +0100 wenzelm tuned; file | diff | annotate
Sun, 01 Jan 2017 13:38:20 +0100 wenzelm more configuration; file | diff | annotate
Mon, 19 Dec 2016 20:27:49 +0100 wenzelm basic support for VSCode Language Server protocol; file | diff | annotate
less more (0) tip
isabelle