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_resources.scala
Tue, 28 Nov 2017 22:14:10 +0100 wenzelm clarified theory_name vs. loaded_theory: proper import_name for already loaded theories from other sessions (amending 4c98c929a12a); file | diff | annotate
Wed, 01 Nov 2017 15:32:07 +0100 wenzelm added isabelle jedit options -B, -P, clarified -R; file | diff | annotate
Tue, 31 Oct 2017 18:56:24 +0100 wenzelm clarified signature; file | diff | annotate
Tue, 31 Oct 2017 17:56:28 +0100 wenzelm clarified signature; file | diff | annotate
Thu, 31 Aug 2017 16:35:09 +0200 wenzelm tolerate errors in session structure, although this may lead to confusion about theory imports later on; file | diff | annotate
Mon, 26 Jun 2017 15:57:20 +0200 wenzelm proper bootstrap_name (amending b42743f5b595); file | diff | annotate
Fri, 21 Apr 2017 14:09:03 +0200 wenzelm eliminated default_qualifier: just a constant; file | diff | annotate
Thu, 20 Apr 2017 15:00:32 +0200 wenzelm tuned signature; file | diff | annotate
Mon, 17 Apr 2017 21:48:53 +0200 wenzelm prefer formal name from session context, for proper qualified theory name; file | diff | annotate
Thu, 13 Apr 2017 12:19:28 +0200 wenzelm tuned signature (again); file | diff | annotate
Wed, 12 Apr 2017 22:47:21 +0200 wenzelm tuned; file | diff | annotate
Wed, 12 Apr 2017 22:32:55 +0200 wenzelm clarified loaded_theories: map to qualified theory name; file | diff | annotate
Wed, 12 Apr 2017 19:56:47 +0200 wenzelm more explicit jEdit file operations; file | diff | annotate
Mon, 10 Apr 2017 11:29:47 +0200 wenzelm clarified signature; file | diff | annotate
Sat, 08 Apr 2017 20:56:41 +0200 wenzelm more session_base information in ML; file | diff | annotate
Mon, 03 Apr 2017 17:00:36 +0200 wenzelm tuned signature; file | diff | annotate
Mon, 03 Apr 2017 16:36:45 +0200 wenzelm provide session qualifier via resources; file | diff | annotate
Wed, 15 Mar 2017 19:39:34 +0100 wenzelm unused; file | diff | annotate
Tue, 14 Mar 2017 21:26:25 +0100 wenzelm proper plugin access; file | diff | annotate
Mon, 09 Jan 2017 22:54:48 +0100 wenzelm update File_Model based on file-system events; file | diff | annotate
Mon, 09 Jan 2017 20:47:45 +0100 wenzelm clarified modules; file | diff | annotate
Mon, 09 Jan 2017 20:26:59 +0100 wenzelm tuned signature; file | diff | annotate
Sun, 08 Jan 2017 19:08:26 +0100 wenzelm added node_name(String): imitate jEdit buffer operations; file | diff | annotate
Sun, 08 Jan 2017 17:22:14 +0100 wenzelm refer to internal File_Model instead of external file; 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 14:46:04 +0100 wenzelm tuned; 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 10:10:51 +0100 wenzelm tuned; file | diff | annotate
Tue, 19 Apr 2016 12:06:34 +0200 wenzelm more IDE support for Isabelle/Pure bootstrap; file | diff | annotate
Tue, 25 Aug 2015 13:46:24 +0200 wenzelm clarified undefined_blobs: already loaded theories are suppressed; file | diff | annotate
Thu, 20 Aug 2015 19:15:17 +0200 wenzelm tuned signature, according to ML version; file | diff | annotate
Wed, 12 Aug 2015 13:56:46 +0200 wenzelm more thorough reload; file | diff | annotate
Wed, 12 Aug 2015 13:53:51 +0200 wenzelm resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload; file | diff | annotate
Thu, 30 Jul 2015 14:02:19 +0200 wenzelm clarified management of (single) session; file | diff | annotate
Fri, 13 Mar 2015 21:35:48 +0100 wenzelm tuned signature; file | diff | annotate
Thu, 08 Jan 2015 20:56:39 +0100 wenzelm tuned; 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
Sat, 02 Aug 2014 12:24:30 +0200 wenzelm always resolve symlinks for local files, e.g. relevant for ML_file to load proper source via editor instead of stored file via prover; file | diff | annotate
Wed, 23 Jul 2014 18:04:16 +0200 wenzelm another attempt at more aggressive auto-loading (amending af28fdd50690) -- hidden buffers are now suppressed; file | diff | annotate
Wed, 23 Jul 2014 11:19:24 +0200 wenzelm clarified module name: facilitate alternative GUI frameworks; 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
Wed, 23 Apr 2014 11:40:42 +0200 wenzelm avoid accidental use of scala.language.reflectiveCalls; file | diff | annotate
Wed, 09 Apr 2014 23:22:58 +0200 wenzelm improved support for external URLs, based on standard Java network operations; file | diff | annotate
Tue, 08 Apr 2014 09:48:38 +0200 wenzelm ignore deps_changed (again) -- avoid proactive load attempts of unfinished header specification while the user is typing; file | diff | annotate
Mon, 07 Apr 2014 21:23:02 +0200 wenzelm tuned signature -- prefer static type Document.Node.Name; file | diff | annotate
Sat, 29 Mar 2014 10:49:32 +0100 wenzelm propagate deps_changed, to resolve missing files without requiring jEdit events (e.g. buffer load/save); file | diff | annotate
Tue, 18 Mar 2014 17:39:03 +0100 wenzelm clarifed module name; file | diff | annotate | base
less more (0) tip
isabelle