Add documentation entries to the signatures for PolyDoc. In some cases this puts significant amounts
of explanatory text into the signatures.
Description
Description
Details
Details
- Provenance
dcjm Authored on Sep 7 2020, 6:56 PM - Parents
- rPOLYML08a0b3f63acd: Add ".sig" as a possible file extension to "use". In PolyML.make try ".sig"…
- Branches
- Unknown
- Tags