Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed some Emacs junk;
authorwenzelm
Thu, 29 Apr 2010 20:00:26 +0200
changeset 36540 e31f9ac000dd
parent 36539 2b9d4d3f09c3
child 36541 de1862c4a308
child 36594 56ea7385916d
removed some Emacs junk;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Apr 29 18:41:38 2010 +0200
+++ b/NEWS	Thu Apr 29 20:00:26 2010 +0200
@@ -7013,5 +7013,3 @@
 types;
 
 :mode=text:wrap=hard:maxLineLen=72:
-
- LocalWords:  def
isabelle