Skip to main content

Browse the archive

Revision b6407e0f026cf5491ca5ed0a35ea5cf316ebe8ca authored by Anish Tondwalkar on 21 May 2021, 03:15:25 UTC, committed by Anish Tondwalkar on 21 May 2021, 03:15:25 UTC 
formatted for submission
1 parent 042e097
Raw File
update-fstar.sh 
#!/bin/sh
cd ~/FStar
git pull
make ocaml -C src
make -C src/ocaml-output
back to top