*** empty log message ***
authorwenzelm
Wed Dec 04 13:05:47 1996 +0100 (1996-12-04)
changeset 2307508d2a233dbc
parent 2306 0aadfaf8557a
child 2308 641be5ad47af
*** empty log message ***
bin/isatool
lib/Tools/getenv
lib/scripts/getsettings
lib/scripts/isa-xterm
lib/scripts/ucat
     1.1 --- a/bin/isatool	Wed Dec 04 12:30:49 1996 +0100
     1.2 +++ b/bin/isatool	Wed Dec 04 13:05:47 1996 +0100
     1.3 @@ -1,8 +1,8 @@
     1.4  #!/bin/bash
     1.5  #
     1.6 +# $Id$
     1.7 +#
     1.8  # Isabelle tool starter -- keeps your PATH name space clean.
     1.9 -#
    1.10 -# $Id$
    1.11  
    1.12  
    1.13  ## settings
    1.14 @@ -11,7 +11,6 @@
    1.15  . $ISABELLE_HOME/lib/scripts/getsettings
    1.16  
    1.17  
    1.18 -
    1.19  ## diagnostics
    1.20  
    1.21  PRG=$(basename $0)
     2.1 --- a/lib/Tools/getenv	Wed Dec 04 12:30:49 1996 +0100
     2.2 +++ b/lib/Tools/getenv	Wed Dec 04 13:05:47 1996 +0100
     2.3 @@ -1,7 +1,9 @@
     2.4  #!/bin/bash
     2.5  #
     2.6 +# $Id$
     2.7 +#
     2.8  # DESCRIPTION: get value from Isabelle settings
     2.9 -#
    2.10 +
    2.11  
    2.12  PRG=$(basename $0)
    2.13  
     3.1 --- a/lib/scripts/getsettings	Wed Dec 04 12:30:49 1996 +0100
     3.2 +++ b/lib/scripts/getsettings	Wed Dec 04 13:05:47 1996 +0100
     3.3 @@ -1,8 +1,8 @@
     3.4 +#
     3.5 +# $Id$
     3.6  #
     3.7  # getsettings - bash source script to augment current env
     3.8  #
     3.9 -# $Id$
    3.10 -#
    3.11  
    3.12  #value set by caller
    3.13  export ISABELLE_HOME
     4.1 --- a/lib/scripts/isa-xterm	Wed Dec 04 12:30:49 1996 +0100
     4.2 +++ b/lib/scripts/isa-xterm	Wed Dec 04 13:05:47 1996 +0100
     4.3 @@ -1,10 +1,11 @@
     4.4  #!/bin/bash
     4.5  #
     4.6 +# $Id$
     4.7 +#
     4.8  # Isabelle within an xterm.
     4.9  #
    4.10 -# $Id$
    4.11 -#
    4.12 -# TODO: isabelle fonts
    4.13 +# TODO:
    4.14 +#   - font menu (cf. isa-xterm from 8bit package)
    4.15  
    4.16  
    4.17  ## diagnostics
     5.1 --- a/lib/scripts/ucat	Wed Dec 04 12:30:49 1996 +0100
     5.2 +++ b/lib/scripts/ucat	Wed Dec 04 13:05:47 1996 +0100
     5.3 @@ -1,9 +1,11 @@
     5.4  #!/bin/bash
     5.5  #
     5.6 +# $Id$
     5.7 +#
     5.8  # ucat - uninterruptible cat
     5.9 +#
    5.10  # NOTE: If perl is unavailable we simply fall back on normal cat!
    5.11 -#
    5.12 -# $Id$
    5.13 +
    5.14  
    5.15  PERL=$(type -path perl)
    5.16