NameDateSize

..25-Jul-201921

build-examplesH A D25-Jul-20192.3 KiB

comparelogs.mlbH A D25-Jul-201992

comparelogs.smlH A D25-Jul-20194.7 KiB

delete-trailing-wsH A D25-Jul-2019763

deleted-in-release.txtH A D25-Jul-2019393

discussion/H25-Jul-20196

docfiles/H25-Jul-20197

DockerfileH A D25-Jul-2019539

forTeX.plH A D25-Jul-2019552

gen-text-release-notesH A D25-Jul-2019330

generateBuildSummary.smlH A D25-Jul-20193.7 KiB

genUseScript.smlH A D25-Jul-20195.7 KiB

git-regression-build.shH A D25-Jul-20193.5 KiB

HolmakefileH A D25-Jul-2019852

install-poly.shH A D25-Jul-2019741

mlsysinfo.smlH A D25-Jul-2019127

mlton-srcs/H25-Jul-20194

mosml-comparelogs.smlH A D25-Jul-201927

mosmlgbs.smlH A D25-Jul-201942

mosmlsysinfo.smlH A D25-Jul-2019138

mosmlTextIO.smlH A D25-Jul-2019412

otbuild.shH A D25-Jul-201982

poly-comparelogs.MLH A D25-Jul-2019115

poly-gbs.MLH A D25-Jul-201969

poly-prehol.smlH A D25-Jul-20196.8 KiB

polysysinfo.smlH A D25-Jul-2019329

prehol.smlH A D25-Jul-20199.5 KiB

prettifier.plH A D25-Jul-2019344

READMEH A D25-Jul-2019262

record-script.shH A D25-Jul-2019342

releasing-holH A D25-Jul-20195.7 KiB

standard-svn-ignoreH A D25-Jul-201954

submanualsH A D25-Jul-2019214

travis/H25-Jul-20194

web-pagesH A D25-Jul-2019233

README

1To generate the list of files that poly uses when building HOL, try something like
2
3    ./genUseScript --hol ../src/bool/boolScript.sml > usethis.ML
4
5Follow up with
6
7    poly --use usethis.ML
8
9to get into a Poly/ML session with that early prefix of stuff built.
10