Mercurial Mercurial > repos > isabelle / annotate
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/App2/README
author bulwahn
Tue, 08 May 2012 14:31:03 +0200
changeset 47893 4cf901b1089a
parent 31925 569b7fae5206
permissions -rw-r--r--
specialised fact in the Record theory should not be appear in proofs discovered by sledgehammer
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
31925
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     1
 
Isabelle/JVM application bundle for MacOS
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     2
 
=========================================
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     3
 












569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




     4


* http://developer.apple.com/documentation/Java/Conceptual/Java14Development/03-JavaDeployment/JavaDeployment.html













569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




     5














569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




     6


* http://developer.apple.com/documentation/Java/Reference/Java_InfoplistRef/Articles/JavaDictionaryInfo.plistKeys.html#//apple_ref/doc/uid/TP40001969













569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




     7
















isabelle