NameDateSize

..08-Sep-202021

build-examplesH A D25-Jul-20192.3 KiB

comparelogs.mlbH A D25-Jul-201992

comparelogs.smlH A D25-Jul-20196.4 KiB

core-emacs-mode.smlH A D25-Jul-2019591

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 D05-Nov-20205.7 KiB

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

HolmakefileH A D25-Jul-2019790

install-poly.shH A D25-Jul-20191.3 KiB

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 D03-Sep-20195.7 KiB

standard-svn-ignoreH A D25-Jul-201954

submanualsH A D25-Jul-2019214

travis/H06-Aug-20206

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