Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Missing smlnj-lib documentation: HTML, HTML4, and PP libraries #230

Open
1 of 5 tasks
JohnReppy opened this issue Jul 16, 2022 · 1 comment
Open
1 of 5 tasks

Missing smlnj-lib documentation: HTML, HTML4, and PP libraries #230

JohnReppy opened this issue Jul 16, 2022 · 1 comment
Assignees
@JohnReppy
Labels
bug Something isn't working documentation Improvements or additions to documentation gforge bug (or feature request) ported from smlnj-gforge repository smlnj-lib problem with some SML/NJ library

Comments

@JohnReppy
Copy link
Contributor

Version

No response

Operating System

  • All
  • Linux
  • macOS
  • Windows
  • Other Unix

OS Version

No response

Processor

No response

Component

SML/NJ Library

Severity

Cosmetic

Description of the problem

The HTML, HTML4, and PP libraries are missing from smlnj-lib's documentation
(http://smlnj.org/doc/smlnj-lib/index.html).

Transcript

No response

Expected Behavior

No response

Steps to Reproduce

No response

Additional Information

No response

Email address

No response

Comments from smlnj-gforge

Original smlnj-gforge bug number 297

Submitted on 2021-30-02 at 03:3000

Keywords: documentation
@JohnReppy JohnReppy added bug Something isn't working documentation Improvements or additions to documentation gforge bug (or feature request) ported from smlnj-gforge repository smlnj-lib problem with some SML/NJ library labels Jul 16, 2022
@JohnReppy JohnReppy self-assigned this Jul 16, 2022
@dmacqueen
Copy link
Contributor

With respect to documentation of the PP prettyprint library, there will (soon) be an alternative PrettyPrint library added to the smlnj-lib library collection. The PrettyPrint library will come with "pretty good" documentation.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JohnReppy JohnReppy

Labels
bug Something isn't working documentation Improvements or additions to documentation gforge bug (or feature request) ported from smlnj-gforge repository smlnj-lib problem with some SML/NJ library
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dmacqueen @JohnReppy