Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/MacOS/README
changeset 29155 ca28610a0e7e
parent 29136 de5b29c25af9
child 30901 9343d4b7c5bf
equal deleted inserted replaced
29154:32b13b953e3a 29155:ca28610a0e7e 
     4 Requirements:
 
     4 Requirements:
 
     5 
     5 
     6 * CocoaDialog http://cocoadialog.sourceforge.net/
 
     6 * CocoaDialog http://cocoadialog.sourceforge.net/
 
     7 
     7 
     8 * Platypus http://www.sveinbjorn.org/platypus
 
     8 * Platypus http://www.sveinbjorn.org/platypus
 
       
     9 
       
    10 * AppHack 1.1 http://www.sveinbjorn.org/apphack
 
       
    11 
       
    12   Manual setup:
 
       
    13     File type: "Isabelle theory"
 
       
    14     Icon: "theory.icns"
 
       
    15     "Editor"
 
       
    16     Suffixes: "thy"
 
       
    17
isabelle