patch-scripts.bash
1996-12-09 wenzelm 1996-12-09 patch-scripts.bash - relocate interpreter paths of Isabelle scripts.