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/Pure/PIDE/command.scala
Thu, 05 Aug 2010 14:35:35 +0200 wenzelm simplified/refined document model: collection of named nodes, without proper dependencies yet; file | diff | annotate
Sun, 13 Jun 2010 22:33:18 +0200 wenzelm tuned Command.toString -- preserving uniqueness allows the Scala toplevel to print Linear_Set[Command] results without crashing; file | diff | annotate
Sun, 30 May 2010 18:23:50 +0200 wenzelm more detailed token markup, including command kind as sub_kind; file | diff | annotate
Sat, 29 May 2010 20:49:04 +0200 wenzelm tuned messages; file | diff | annotate
Fri, 28 May 2010 22:21:08 +0200 wenzelm accumulate only local results -- no proper history support yet; file | diff | annotate
Thu, 27 May 2010 00:47:15 +0200 wenzelm Command.toString: include id for debugging; file | diff | annotate
Thu, 20 May 2010 10:43:46 +0200 wenzelm explicit Command.Status.UNDEFINED -- avoid fragile/cumbersome treatment of Option[State]; file | diff | annotate
Wed, 05 May 2010 22:23:45 +0200 wenzelm some rearrangement of Scala sources; file | diff | annotate | base
less more (0) tip
isabelle