Admin/Linux/build
author wenzelm
Sat May 14 19:49:10 2016 +0200 (2016-05-14 ago)
changeset 63094 056ea294c256
parent 54313 da2e6282a4f5
child 71547 373dcdd363dc
permissions -rwxr-xr-x
toplevel theorem statements support 'if'/'for' eigen-context;
wenzelm@54313
     1
#!/usr/bin/env bash
wenzelm@54313
     2
wenzelm@54313
     3
cc -static -m32 Isabelle.c -o Isabelle
wenzelm@54313
     4