https://github.com/flyspeck/flyspeck
Tip revision: 05bd66666b4b641f49e5131a37830f4881f39db9 authored by zipperer on 26 November 2020, 19:53:58 UTC
minuscule edits (#5)
minuscule edits (#5)
Tip revision: 05bd666
terminal
#!/bin/bash
rm -f release/lib/AppleJavaExtensions.jar
java -cp release/lib/*:release/jHOLLib.jar edu.pitt.math.jhol.HOLLightWrapper `whoami` weyl0 charizard.zapto.org
