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/TheoryView.scala
Tue, 02 Jun 2009 21:27:51 +0200 wenzelm change_receiver: start only once (already done in actor function); file | diff | annotate
Tue, 02 Jun 2009 21:20:22 +0200 wenzelm superficial tuning; file | diff | annotate
Wed, 27 May 2009 14:56:49 +0200 immler split large changes for faster responses of prover 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 fixed duplicate activation file | diff | annotate
Fri, 22 May 2009 13:43:35 +0200 immler removed debug-painting 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:35 +0200 immler ML types in tooltip 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
Wed, 15 Apr 2009 18:23:04 +0200 immler use jEdits styles file | diff | annotate
Tue, 14 Apr 2009 18:44:11 +0200 immler fixed shifting; file | diff | annotate
Tue, 07 Apr 2009 21:30:47 +0200 immler correct order, added curreeeent change file | diff | annotate
Mon, 06 Apr 2009 20:01:33 +0200 immler implemented to_current and from_current in dependancy of document-versions 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 12:46:57 +0100 immler changes of text with unique id 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:27:06 +0100 wenzelm merged, resolving minor conflicts; 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
Wed, 04 Feb 2009 21:50:08 +0100 immler syntax styles in properties file | diff | annotate
Mon, 02 Feb 2009 23:05:25 +0100 immler implemented markTokens; file | diff | annotate
Sun, 01 Feb 2009 13:38:51 +0100 immler use FontMetrics.getMaxAdvance if available; tuned file | diff | annotate
Sun, 01 Feb 2009 13:32:36 +0100 immler renamed fields of MarkupNode; implemented flatten and leafs file | diff | annotate
Sun, 01 Feb 2009 13:14:36 +0100 immler respect current offsets file | diff | annotate
Tue, 27 Jan 2009 22:14:40 +0100 wenzelm eliminated Command.Status.REMOVE/REMOVED; file | diff | annotate
Tue, 20 Jan 2009 23:13:54 +0100 wenzelm renamed getNextCommandContaining to find_command_at; file | diff | annotate
Mon, 12 Jan 2009 20:49:37 +0100 immler implemented IsabelleSideKickParser.complete 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:50:38 +0100 wenzelm tuned; file | diff | annotate
Mon, 29 Dec 2008 20:43:04 +0100 wenzelm replaced EventSource by EventBus; file | diff | annotate
Sun, 28 Dec 2008 20:46:25 +0100 wenzelm removed redundant CommandChangeInfo; file | diff | annotate
Sun, 28 Dec 2008 20:31:13 +0100 wenzelm tuned; file | diff | annotate
Sun, 28 Dec 2008 19:37:51 +0100 wenzelm command state color: use PG 4.0 values; file | diff | annotate
Sun, 28 Dec 2008 19:26:18 +0100 wenzelm tuned; file | diff | annotate
Sun, 28 Dec 2008 18:40:38 +0100 wenzelm superficial tuning; file | diff | annotate
Sun, 28 Dec 2008 16:40:29 +0100 wenzelm use symbolic Markup elements instead of literal strings; file | diff | annotate
Sat, 27 Dec 2008 14:13:05 +0100 wenzelm renamed object Plugin to Isabelle; file | diff | annotate
Sun, 21 Dec 2008 21:43:41 +0100 wenzelm renamed Plugin.plugin to Plugin.self; file | diff | annotate
Fri, 19 Dec 2008 23:11:08 +0100 wenzelm added some headers and comments; file | diff | annotate
Fri, 19 Dec 2008 22:24:32 +0100 wenzelm added some headers and comments; file | diff | annotate
Thu, 18 Dec 2008 01:10:20 +0100 immler restructured: independent provers in different buffers file | diff | annotate
Mon, 15 Dec 2008 16:34:19 +0100 immler added 'delay or ignore' 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 19:51:15 +0100 immler information on command-phase left of scrollbar 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, 30 Nov 2008 19:18:59 +0100 immler basic tree structure for sidekick file | diff | annotate
Sat, 29 Nov 2008 19:31:09 +0100 immler encoloring only details in the current line! file | diff | annotate
Fri, 28 Nov 2008 17:49:39 +0100 immler ugly fine-grained buffer markup file | diff | annotate
Thu, 27 Nov 2008 22:24:53 +0100 immler removed xsymbol converting -> sidekick should do that file | diff | annotate
Tue, 18 Nov 2008 22:15:06 +0100 immler replacing xsymbols *after* inserting text file | diff | annotate
Tue, 18 Nov 2008 21:58:22 +0100 immler convert eg pasted xsymbols file | diff | annotate
Tue, 18 Nov 2008 21:47:33 +0100 immler removed System.err... file | diff | annotate
Thu, 13 Nov 2008 13:08:37 +0100 immler playing with xsymbols file | diff | annotate
Sun, 19 Oct 2008 16:51:55 +0200 wenzelm original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; file | diff | annotate
less more (0) tip
isabelle