Admin/makebin
changeset 12721 226fc0e2e7e3
parent 12427 37cfec8dfe8e
child 12827 05c13f5a515d
equal deleted inserted replaced
12720:f8a134b9a57f 12721:226fc0e2e7e3
     1 #!/bin/bash
     1 #!/usr/bin/env bash
     2 #
     2 #
     3 # $Id$
     3 # $Id$
     4 #
     4 #
     5 # makebin -- make Isabelle logic images for current platform.
     5 # makebin -- make Isabelle logic images for current platform.
     6 
     6