-
- Downloads
Simpler config
Showing
- config/MMT/README 0 additions, 10 deletionsconfig/MMT/README
- config/MMT/ash-notes.txt 0 additions, 39 deletionsconfig/MMT/ash-notes.txt
- config/MMT/cf95c94bae142eeed300a254d964f0bf 0 additions, 13 deletionsconfig/MMT/cf95c94bae142eeed300a254d964f0bf
- config/MMT/index.html 0 additions, 29 deletionsconfig/MMT/index.html
- config/MMT/init.d/mmt-init 0 additions, 125 deletionsconfig/MMT/init.d/mmt-init
- config/MMT/setupCpanm.sh 0 additions, 13 deletionsconfig/MMT/setupCpanm.sh
- config/MMT/setupDistribution.sh 0 additions, 12 deletionsconfig/MMT/setupDistribution.sh
- config/MMT/setupHOLLight.sh 0 additions, 13 deletionsconfig/MMT/setupHOLLight.sh
- config/MMT/setupLaTeXML.sh 0 additions, 34 deletionsconfig/MMT/setupLaTeXML.sh
- config/MMT/setupLocalMH.sh 0 additions, 9 deletionsconfig/MMT/setupLocalMH.sh
- config/MMT/setupRepos.sh 0 additions, 88 deletionsconfig/MMT/setupRepos.sh
- config/MMT/setupSoftware.sh 0 additions, 22 deletionsconfig/MMT/setupSoftware.sh
- config/MMT/setupTwelf.sh 0 additions, 13 deletionsconfig/MMT/setupTwelf.sh
- config/MMT/testScripts/README 0 additions, 27 deletionsconfig/MMT/testScripts/README
- config/MMT/testScripts/all-sms.log 0 additions, 3201 deletionsconfig/MMT/testScripts/all-sms.log
- config/MMT/testScripts/all.log 0 additions, 2055 deletionsconfig/MMT/testScripts/all.log
- config/MMT/testScripts/checkGitChanges.sh 0 additions, 17 deletionsconfig/MMT/testScripts/checkGitChanges.sh
- config/MMT/testScripts/smglom.log 0 additions, 900 deletionsconfig/MMT/testScripts/smglom.log
- config/MMT/testScripts/sms.log 0 additions, 668 deletionsconfig/MMT/testScripts/sms.log
- config/MMT/testScripts/testExamples.sh 0 additions, 19 deletionsconfig/MMT/testScripts/testExamples.sh
Loading
Please register or sign in to comment