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/mk
author hoelzl
Fri, 22 Mar 2013 10:41:43 +0100
changeset 51475 ebf9d4fd00ba
parent 31925 569b7fae5206
child 53498 05313b45a5ae
permissions -rwxr-xr-x
introduct the conditional_complete_lattice type class; generalize theorems about real Sup and Inf to it
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
31925
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     1
 
#!/bin/bash
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
 
# Make Isabelle/JVM application bundle
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     4
 












569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




     5


THIS="$(cd "$(dirname "$0")"; pwd)"













569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




     6














569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




     7


APP="$THIS/Isabelle.app"













569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




     8














569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




     9


mkdir -p "$APP/Contents/Resources/Java"













569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




    10


cp "$THIS/../../../lib/classes/isabelle-scala.jar" "$APP/Contents/Resources/Java"













569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




    11


cp "$THIS/../isabelle.icns" "$APP/Contents/Resources"













569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




    12
















isabelle