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.
lib/scripts/ucat
author wenzelm
Tue, 28 Oct 1997 17:29:48 +0100
changeset 4017 63878e2587a7
parent 3007 e5efa177ee0c
permissions -rwxr-xr-x
add_typ_classes, add_typ_tycons, add_term_classes, add_term_tycons, add_term_consts, map_typ, map_term: moved from sign.ML to term.ML;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3007
e5efa177ee0c removed -norc;
wenzelm
parents: 2579
diff changeset 
     1
 
#!/bin/bash
2306
0aadfaf8557a ucat - uninterruptible cat
wenzelm
parents:
diff changeset 
     2
 
#
2307
508d2a233dbc *** empty log message ***
wenzelm
parents: 2306
diff changeset 
     3
 
# $Id$
508d2a233dbc *** empty log message ***
wenzelm
parents: 2306
diff changeset 
     4
 
#
2347
a42c1b835fb3 added -norc option;
wenzelm
parents: 2307
diff changeset 
     5
 
# ucat - uninterruptible cat.
2307
508d2a233dbc *** empty log message ***
wenzelm
parents: 2306
diff changeset 
     6
 







2579






4af1023fc6bf
now uses tee -i instead of perl;



wenzelm


parents: 
2347

diff
changeset




     7


exec tee -i /dev/null "$@"















isabelle