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
Thu, 27 Aug 2009 16:41:33 +0200 immler global event buses for changes concerning commands and document edits file | diff | annotate
Thu, 27 Aug 2009 10:51:09 +0200 immler catching NPE on val file | diff | annotate
Thu, 27 Aug 2009 10:51:09 +0200 immler Command and Command_State handle results from prover as Accumulator file | diff | annotate
Thu, 27 Aug 2009 10:51:09 +0200 immler Command notifies changes file | diff | annotate
Thu, 27 Aug 2009 10:51:09 +0200 immler change_receiver and output_info are used before regular initialisation file | diff | annotate
Thu, 27 Aug 2009 10:51:09 +0200 immler TheoryView starts Prover file | diff | annotate
Thu, 27 Aug 2009 10:51:09 +0200 immler output_info specific to prover file | diff | annotate
Fri, 07 Aug 2009 13:04:59 +0200 immler Change consisting of a list of Edits file | diff | annotate
Mon, 13 Jul 2009 14:30:39 +0200 immler arbitrary history file | diff | annotate
Wed, 08 Jul 2009 15:15:15 +0200 immler commands carrying state-information file | diff | annotate
Wed, 08 Jul 2009 13:29:44 +0200 immler current version in theoryview/buffer file | diff | annotate
Wed, 08 Jul 2009 13:29:43 +0200 immler activation file | diff | annotate
Tue, 30 Jun 2009 21:22:50 +0200 wenzelm renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing; file | diff | annotate
Thu, 25 Jun 2009 13:36:05 +0200 wenzelm renamed IsabelleProcess to Isabelle_Process; file | diff | annotate
Tue, 23 Jun 2009 20:49:56 +0200 wenzelm fall back on Isabelle system completion (symbols only); file | diff | annotate
Tue, 23 Jun 2009 20:16:32 +0200 wenzelm use isabelle.Completion; file | diff | annotate
Thu, 18 Jun 2009 19:21:19 +0200 wenzelm acces position properties via Isabelle library; file | diff | annotate
Wed, 17 Jun 2009 00:25:34 +0200 wenzelm basic keyword completions via isabelle.Scan.Lexicon; file | diff | annotate
Thu, 04 Jun 2009 22:06:37 +0200 wenzelm more robust get_offsets; file | diff | annotate
Tue, 02 Jun 2009 23:37:36 +0200 wenzelm handle_result: activate via explicit status "ready" (cf. http://isabelle.in.tum.de/repos/isabelle/rev/ce169bd37fc0); file | diff | annotate
Tue, 02 Jun 2009 21:20:22 +0200 wenzelm superficial tuning; file | diff | annotate
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
less more (0) -60 tip
isabelle