History log of /seL4-l4v-10.1.1/l4v/isabelle/Admin/Linux/Isabelle.c
Revision Date Author Comments
# 351d9fde 07-Oct-2013 wenzelm <none@none>

proper NULL termination;
# 6963d54b 07-Oct-2013 wenzelm <none@none>

native executable even for Linux, to avoid surprises with file managers opening executable script as text file;

--HG--
rename : Admin/Linux/Isabelle => Admin/Linux/Isabelle.run