Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Sun, 07 Jun 2009 20:45:03 +0200 wenzelm updated notes about Isabelle environment, no longer need to use "isabelle env netbeans"; changeset | files
Sun, 07 Jun 2009 20:17:27 +0200 wenzelm static IsabelleSystem.charset (cf. http://isabelle.in.tum.de/repos/isabelle/rev/be0f7f4f9e12); changeset | files
Thu, 04 Jun 2009 23:19:17 +0200 wenzelm automated update by Scala plugin 6.7v1; changeset | files
Thu, 04 Jun 2009 23:16:44 +0200 wenzelm produce ids via Isabelle.system (http://isabelle.in.tum.de/repos/isabelle/rev/c23663825e23); changeset | files
Thu, 04 Jun 2009 22:08:02 +0200 wenzelm ExternalHyperlink.click: use IsabelleSystem.source_file provided in http://isabelle.in.tum.de/repos/isabelle/rev/dde1b4d1c95b changeset | files
Thu, 04 Jun 2009 22:06:37 +0200 wenzelm more robust get_offsets; changeset | files
Wed, 03 Jun 2009 11:26:15 +0200 wenzelm updates for Netbeans 6.7; changeset | files
Tue, 02 Jun 2009 23:38:41 +0200 wenzelm merged changeset | files
Tue, 02 Jun 2009 22:55:20 +0200 immler merged changeset | files
Tue, 02 Jun 2009 22:55:13 +0200 immler merged; resolved superficial conflicts changeset | files
Tue, 02 Jun 2009 22:22:03 +0200 immler linearset works faster here changeset | files
Tue, 02 Jun 2009 19:40:20 +0200 immler lists work faster here changeset | files
Tue, 02 Jun 2009 19:00:58 +0200 immler fixed duplicate document-id changeset | files
Tue, 02 Jun 2009 19:00:58 +0200 immler ignore unchanged commands changeset | files
Tue, 02 Jun 2009 19:00:58 +0200 immler ignore unchanged tokens changeset | files
Tue, 02 Jun 2009 19:00:58 +0200 immler split change on activate changeset | files
Tue, 02 Jun 2009 19:00:58 +0200 immler return unchanged node on errors changeset | files
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); changeset | files
Tue, 02 Jun 2009 22:31:58 +0200 wenzelm superficial tuning; changeset | files
Tue, 02 Jun 2009 22:00:28 +0200 wenzelm updated versions; changeset | files
Tue, 02 Jun 2009 21:46:32 +0200 wenzelm type_at: no quotes; changeset | files
Tue, 02 Jun 2009 21:44:16 +0200 wenzelm tuned; changeset | files
Tue, 02 Jun 2009 21:36:22 +0200 wenzelm use RichString.* to produce blanks; changeset | files
Tue, 02 Jun 2009 21:27:51 +0200 wenzelm change_receiver: start only once (already done in actor function); changeset | files
Tue, 02 Jun 2009 21:20:22 +0200 wenzelm superficial tuning; changeset | files
Sat, 30 May 2009 23:27:37 +0200 wenzelm slightly more robust treatment of options via arrays; changeset | files
Sat, 30 May 2009 12:11:40 +0200 wenzelm merged changeset | files
Wed, 27 May 2009 17:13:58 +0200 immler outer syntax could clash with status on removed commands changeset | files
Wed, 27 May 2009 17:07:02 +0200 immler no null change changeset | files
Wed, 27 May 2009 16:23:15 +0200 immler fixed delete markup changeset | files
Wed, 27 May 2009 15:46:06 +0200 immler check presence of begin, end in attributes changeset | files
Wed, 27 May 2009 15:24:01 +0200 immler treat comments like seperate commands, changeset | files
Wed, 27 May 2009 14:56:49 +0200 immler split large changes for faster responses of prover changeset | files
Mon, 25 May 2009 14:36:40 +0200 immler changed handling of subdirectories changeset | files
Sat, 30 May 2009 12:11:03 +0200 wenzelm more accurate setup for "jEdit" project; changeset | files
Sat, 23 May 2009 14:26:51 +0200 wenzelm recovered iso-latin-1 text; changeset | files
Fri, 22 May 2009 17:36:45 +0200 immler improved handling of markup-information with command=null changeset | files
Fri, 22 May 2009 16:47:11 +0200 immler implemented links to other files changeset | files
Fri, 22 May 2009 14:47:57 +0200 immler implemented IsabelleHyperlinkSource (only links inside the current buffer) changeset | files
Fri, 22 May 2009 13:43:35 +0200 immler corrected offset changeset | files
Fri, 22 May 2009 13:43:35 +0200 immler fixed duplicate activation changeset | files
Fri, 22 May 2009 13:43:35 +0200 immler removed debug-painting changeset | files
Fri, 22 May 2009 13:43:35 +0200 immler let MarkupNode carry arbitrary information changeset | files
Fri, 22 May 2009 13:43:35 +0200 immler added hyperlink plugin changeset | files
Fri, 22 May 2009 13:43:35 +0200 immler ML types in tooltip changeset | files
Fri, 22 May 2009 13:43:34 +0200 immler chaned '+' changeset | files
Fri, 22 May 2009 13:43:34 +0200 immler reduced to one markup-tree changeset | files
Fri, 22 May 2009 13:43:34 +0200 immler implemented filter on markup-tree changeset | files
Fri, 22 May 2009 13:43:34 +0200 immler fixed flatten changeset | files
Wed, 29 Apr 2009 16:08:22 +0200 immler immutable markup-nodes; changeset | files
Mon, 27 Apr 2009 17:33:49 +0200 immler seperate node for syntax-highlighting changeset | files
Mon, 27 Apr 2009 14:03:05 +0200 immler included information on ML status messages in Sidekick's status-window changeset | files
Wed, 22 Apr 2009 17:35:49 +0200 immler abs. stops, markup nodes depend on doc-version; changeset | files
Mon, 20 Apr 2009 20:28:45 +0200 immler merged changeset | files
Mon, 20 Apr 2009 13:16:53 +0200 immler Anti-aliasing is now controlled via the smoothing threshhold changeset | files
Mon, 20 Apr 2009 12:17:15 +0200 immler incomplete changes of immutable tokens and commands changeset | files
Thu, 16 Apr 2009 13:38:03 +0200 immler prepared proofdocument for only needed changes changeset | files
Wed, 15 Apr 2009 18:23:04 +0200 immler use jEdits styles changeset | files
Wed, 15 Apr 2009 14:25:42 +0200 immler corrected displaying of phases in buffer with few lines; changeset | files
Tue, 14 Apr 2009 18:44:11 +0200 immler fixed shifting; changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle