Admin/Linux/Isabelle.c
2013-10-07 wenzelm 2013-10-07 proper NULL termination;
2013-10-07 wenzelm 2013-10-07 native executable even for Linux, to avoid surprises with file managers opening executable script as text file;