Name | Date | Size | ||
---|---|---|---|---|
.. | 08-Sep-2020 | 21 | ||
build-examples | H A D | 25-Jul-2019 | 2.3 KiB | |
comparelogs.mlb | H A D | 25-Jul-2019 | 92 | |
comparelogs.sml | H A D | 25-Jul-2019 | 6.4 KiB | |
core-emacs-mode.sml | H A D | 25-Jul-2019 | 591 | |
delete-trailing-ws | H A D | 25-Jul-2019 | 763 | |
deleted-in-release.txt | H A D | 25-Jul-2019 | 393 | |
discussion/ | H | 25-Jul-2019 | 6 | |
docfiles/ | H | 25-Jul-2019 | 7 | |
Dockerfile | H A D | 25-Jul-2019 | 539 | |
forTeX.pl | H A D | 25-Jul-2019 | 552 | |
gen-text-release-notes | H A D | 25-Jul-2019 | 330 | |
generateBuildSummary.sml | H A D | 25-Jul-2019 | 3.7 KiB | |
genUseScript.sml | H A D | 05-Nov-2020 | 5.7 KiB | |
git-regression-build.sh | H A D | 25-Jul-2019 | 3.5 KiB | |
Holmakefile | H A D | 25-Jul-2019 | 790 | |
install-poly.sh | H A D | 25-Jul-2019 | 1.3 KiB | |
mlsysinfo.sml | H A D | 25-Jul-2019 | 127 | |
mlton-srcs/ | H | 25-Jul-2019 | 4 | |
mosml-comparelogs.sml | H A D | 25-Jul-2019 | 27 | |
mosmlgbs.sml | H A D | 25-Jul-2019 | 42 | |
mosmlsysinfo.sml | H A D | 25-Jul-2019 | 138 | |
mosmlTextIO.sml | H A D | 25-Jul-2019 | 412 | |
otbuild.sh | H A D | 25-Jul-2019 | 82 | |
poly-comparelogs.ML | H A D | 25-Jul-2019 | 115 | |
poly-gbs.ML | H A D | 25-Jul-2019 | 69 | |
poly-prehol.sml | H A D | 25-Jul-2019 | 6.8 KiB | |
polysysinfo.sml | H A D | 25-Jul-2019 | 329 | |
prehol.sml | H A D | 25-Jul-2019 | 9.5 KiB | |
prettifier.pl | H A D | 25-Jul-2019 | 344 | |
README | H A D | 25-Jul-2019 | 262 | |
record-script.sh | H A D | 25-Jul-2019 | 342 | |
releasing-hol | H A D | 03-Sep-2019 | 5.7 KiB | |
standard-svn-ignore | H A D | 25-Jul-2019 | 54 | |
submanuals | H A D | 25-Jul-2019 | 214 | |
travis/ | H | 06-Aug-2020 | 6 | |
web-pages | H A D | 25-Jul-2019 | 233 |
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