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.
manual file type setup using AppHack 1.1;
authorwenzelm
Tue, 23 Dec 2008 13:20:34 +0100
changeset 29155 ca28610a0e7e
parent 29154 32b13b953e3a
child 29156 89f76a58a378
manual file type setup using AppHack 1.1;
Admin/MacOS/README file | annotate | diff | comparison | revisions 
--- a/Admin/MacOS/README	Tue Dec 23 12:53:44 2008 +0100
+++ b/Admin/MacOS/README	Tue Dec 23 13:20:34 2008 +0100
@@ -6,3 +6,12 @@
 * CocoaDialog http://cocoadialog.sourceforge.net/
 
 * Platypus http://www.sveinbjorn.org/platypus
+
+* AppHack 1.1 http://www.sveinbjorn.org/apphack
+
+  Manual setup:
+    File type: "Isabelle theory"
+    Icon: "theory.icns"
+    "Editor"
+    Suffixes: "thy"
+
isabelle