Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -10 -8 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/IsarRef/Thy/Inner_Syntax.thy
Fri, 03 Sep 2010 11:21:58 +0200 wenzelm turned show_consts into proper configuration option; file | diff | annotate
Thu, 02 Sep 2010 00:48:07 +0200 wenzelm turned show_question_marks into proper configuration option; file | diff | annotate
Sat, 08 May 2010 19:53:11 +0200 wenzelm discontinued Pretty.setdepth, which appears to be largely unused, but can disrupt important markup if enabled accidentally; file | diff | annotate
Sat, 08 May 2010 19:14:13 +0200 wenzelm unified/simplified Pretty.margin_default; file | diff | annotate
Thu, 29 Apr 2010 17:47:53 +0200 wenzelm allow concrete syntax for local entities within a proof body, either via regular mixfix annotations to 'fix' etc. or the separate 'write' command; file | diff | annotate
Mon, 01 Mar 2010 17:09:42 +0100 wenzelm added type_notation command; file | diff | annotate
Wed, 24 Feb 2010 20:37:01 +0100 wenzelm allow general mixfix syntax for type constructors; file | diff | annotate
Thu, 01 Oct 2009 20:04:44 +0200 wenzelm explicitly Unsynchronized; file | diff | annotate
less more (0) -10 -8 tip
isabelle