patch-scripts.bash
1997-01-07 wenzelm 1997-01-07 fixed cmp -s option;
1996-12-09 wenzelm 1996-12-09 patch-scripts.bash - relocate interpreter paths of Isabelle scripts.