Yentl Van Tendeloo 6fdb69d798 Compress the bootstrap.m and minimal.m file using gzip 8 years ago
..
classes 6fdb69d798 Compress the bootstrap.m and minimal.m file using gzip 8 years ago
compile.sh 8c274ac615 First use of new SCCD backend: broken because of after=0 (fixed with after=0.001) 9 years ago
run.sh 8c274ac615 First use of new SCCD backend: broken because of after=0 (fixed with after=0.001) 9 years ago
run_mvk_server.py 8c274ac615 First use of new SCCD backend: broken because of after=0 (fixed with after=0.001) 9 years ago
server.xml e41921b96d Switch the default to the usual backend, but allow it to be switched 9 years ago
socket2event.py 1a5324d718 Seems to work 9 years ago