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/makedist
changeset 33844 813b091dd63b
parent 32361 141e5151b918
child 33899 07ab63b320dd
equal deleted inserted replaced
33843:23d09560d56d 33844:813b091dd63b 
   144 rm -rf doc-src
 
   144 rm -rf doc-src
 
   145 
   145 
   146 mkdir -p contrib
 
   146 mkdir -p contrib
 
   147 
   147 
   148 cp doc/isabelle*.eps lib/logo
 
   148 cp doc/isabelle*.eps lib/logo
 
       
   149 
       
   150 rm Isabelle Isabelle.exe
 
   149 
   151 
   150 
   152 
   151 if [ -z "$RELEASE" ]; then
 
   153 if [ -z "$RELEASE" ]; then
 
   152   {
 
   154   {
 
   153     echo
 
   155     echo
isabelle