Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -60 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/prover/Prover.scala
Wed, 27 May 2009 17:13:58 +0200 immler outer syntax could clash with status on removed commands file | diff | annotate
Wed, 27 May 2009 17:07:02 +0200 immler no null change file | diff | annotate
Wed, 27 May 2009 15:46:06 +0200 immler check presence of begin, end in attributes file | diff | annotate
Fri, 22 May 2009 17:36:45 +0200 immler improved handling of markup-information with command=null file | diff | annotate
Fri, 22 May 2009 14:47:57 +0200 immler implemented IsabelleHyperlinkSource (only links inside the current buffer) file | diff | annotate
Fri, 22 May 2009 13:43:35 +0200 immler let MarkupNode carry arbitrary information file | diff | annotate
Fri, 22 May 2009 13:43:34 +0200 immler reduced to one markup-tree file | diff | annotate
Wed, 29 Apr 2009 16:08:22 +0200 immler immutable markup-nodes; file | diff | annotate
Mon, 27 Apr 2009 17:33:49 +0200 immler seperate node for syntax-highlighting file | diff | annotate
Mon, 27 Apr 2009 14:03:05 +0200 immler included information on ML status messages in Sidekick's status-window file | diff | annotate
Wed, 22 Apr 2009 17:35:49 +0200 immler abs. stops, markup nodes depend on doc-version; file | diff | annotate
Mon, 06 Apr 2009 19:04:38 +0200 immler proofdocument-versions get id from changes file | diff | annotate
Fri, 20 Mar 2009 11:57:21 +0100 immler fixes file | diff | annotate
Thu, 19 Mar 2009 16:48:29 +0100 immler merged; resolved conflicts (kept own versions) file | diff | annotate
Thu, 19 Mar 2009 16:18:57 +0100 immler Prover as actor managing ProofDocument-versions (removed EventBus structural_changes); file | diff | annotate
Mon, 02 Mar 2009 19:17:20 +0100 wenzelm preliminary/failed attempt to use the new IsarDocument access model to the prover; file | diff | annotate
Sun, 08 Mar 2009 23:03:49 +0100 immler ProofDocument without state file | diff | annotate
Thu, 19 Feb 2009 20:44:28 +0100 immler tokens and commands as lists file | diff | annotate
Tue, 27 Jan 2009 22:23:45 +0100 wenzelm eliminated Command.Status.REMOVE/REMOVED; file | diff | annotate
Tue, 27 Jan 2009 19:52:56 +0100 wenzelm ProofDocument: pass is_command_keyword directly, not via full-blown Prover object; file | diff | annotate
Tue, 27 Jan 2009 19:41:44 +0100 wenzelm eliminated Prover.start -- part of main constructor; file | diff | annotate
Tue, 27 Jan 2009 19:27:59 +0100 wenzelm tuned whitespace; file | diff | annotate
Tue, 27 Jan 2009 18:53:12 +0100 wenzelm beginnings of global document state; file | diff | annotate
Tue, 27 Jan 2009 18:15:11 +0100 wenzelm misc tuning; file | diff | annotate
Tue, 27 Jan 2009 17:22:55 +0100 wenzelm Prover.start: determine logic in one place; file | diff | annotate
Tue, 27 Jan 2009 16:16:55 +0100 wenzelm more explicit indication of mutable collections; file | diff | annotate
Tue, 20 Jan 2009 22:30:54 +0100 wenzelm misc tuning -- de-camelization; file | diff | annotate
Tue, 20 Jan 2009 20:32:04 +0100 wenzelm Command: turned content into plain val; file | diff | annotate
Tue, 20 Jan 2009 20:05:21 +0100 wenzelm use Symbol.Interpretation from IsabelleSystem instance; file | diff | annotate
Tue, 20 Jan 2009 18:23:40 +0100 wenzelm replaced java.util.Property by plain association list; file | diff | annotate
Mon, 19 Jan 2009 23:29:44 +0100 wenzelm joined Document with ProofDocument; file | diff | annotate
Mon, 19 Jan 2009 21:38:50 +0100 wenzelm superficial tuning; file | diff | annotate
Fri, 16 Jan 2009 22:57:47 +0100 wenzelm IsabelleProcess.parse_message (message markup within Scala layer); file | diff | annotate
Mon, 12 Jan 2009 20:49:37 +0100 immler implemented IsabelleSideKickParser.complete file | diff | annotate
Sun, 11 Jan 2009 21:48:58 +0100 wenzelm decl_info: cover both commands and keywords, with kind; file | diff | annotate
Sun, 11 Jan 2009 13:46:26 +0100 immler explicitly refer to superclass file | diff | annotate
Sun, 11 Jan 2009 13:16:35 +0100 immler added EventBus for new command- or keyword-declarations file | diff | annotate
Sat, 10 Jan 2009 17:59:23 +0100 immler merged file | diff | annotate
Fri, 19 Dec 2008 11:25:06 +0100 immler ability to deactivate buffers file | diff | annotate
Fri, 02 Jan 2009 15:34:56 +0100 wenzelm adapted Isar.command; file | diff | annotate
Mon, 29 Dec 2008 21:01:55 +0100 wenzelm - renamed Command.Phase to Command.Status (cf. src/Pure/Isar/isar.ML); file | diff | annotate
Mon, 29 Dec 2008 20:43:04 +0100 wenzelm replaced EventSource by EventBus; file | diff | annotate
Mon, 29 Dec 2008 17:50:39 +0100 wenzelm removed debug output; file | diff | annotate
Mon, 29 Dec 2008 17:44:58 +0100 wenzelm eliminated hardwired string constants; file | diff | annotate
Sun, 28 Dec 2008 20:46:25 +0100 wenzelm removed redundant CommandChangeInfo; file | diff | annotate
Sun, 28 Dec 2008 20:35:34 +0100 wenzelm command id via Isabelle.plugin; file | diff | annotate
Sun, 28 Dec 2008 12:59:27 +0100 wenzelm replaced inUIThread by scala-style swing/swing_async combinators; file | diff | annotate
Sat, 27 Dec 2008 15:20:46 +0100 wenzelm dynamic instances Isabelle.system, Isabelle.symbols; file | diff | annotate
Fri, 19 Dec 2008 23:55:07 +0100 wenzelm misc tuning; file | diff | annotate
Fri, 19 Dec 2008 22:24:32 +0100 wenzelm added some headers and comments; file | diff | annotate
Mon, 15 Dec 2008 16:23:17 +0100 immler delayed repainting new phase in buffer and overview; file | diff | annotate
Wed, 10 Dec 2008 14:45:04 +0100 immler structure of markup-tree in scala, keep track of swing-nodes in background file | diff | annotate
Mon, 08 Dec 2008 19:11:06 +0100 immler MarkupNode instead of DefaultMutableTreeNode and RelativeAsset file | diff | annotate
Sun, 07 Dec 2008 19:55:01 +0100 immler interpretation of STATUS messages in one place, deleting inner syntax file | diff | annotate
Sun, 07 Dec 2008 15:36:24 +0100 immler handle statuses in Command file | diff | annotate
Sun, 07 Dec 2008 15:01:37 +0100 immler command property: offset relative to start of command file | diff | annotate
Fri, 28 Nov 2008 17:49:39 +0100 immler ugly fine-grained buffer markup file | diff | annotate
Fri, 28 Nov 2008 15:51:40 +0100 immler Token-functions with type-parameters file | diff | annotate
Fri, 28 Nov 2008 15:00:07 +0100 immler arbitrary type for tokens file | diff | annotate
Wed, 19 Nov 2008 11:07:22 +0100 immler pass results to Scroller file | diff | annotate
less more (0) -60 tip
isabelle