HELP HELPFILES
A summary of all the PML help files.
Note: all built-in and library identifiers are cross-referenced in the
help system, so asking for help on an identifier will often take you
into an appropriate help file.
HELP * ARRAY
Sequences with constant time access and update.
HELP * BIT
Bitwise operations on integers.
HELP * BUGS
Known bugs and deficiencies in PML.
HELP * CHANGES
Recent changes to the PML system.
HELP * COMBINATORS
Useful combinator definitions.
HELP * COMMANDS
Top-level commands in PML.
HELP * COMPILE
The PML compiler.
HELP * COMPLEX
Complex numbers.
HELP * EXAMPLES
Some simple examples of programming in ML.
HELP * EXTENDED_ARRAY
Additional functions on arrays.
HELP * EXTENDED_VECTOR
Additional functions on vectors.
HELP * EXTERNAL
The external declaration form.
HELP * FASTINT
Fast, non-checking operations on small integers.
HELP * FEATURES
Non-standard features of Poplog ML.
HELP * INT
Functions on integers.
HELP * LEXICAL
The lexical rules of PML.
HELP * LIST
Functions on lists.
HELP * MEMORY
Memory organisation in PML.
HELP * MLINPOP
Mixed-language programming in ML and Pop-11.
HELP * MLLEX
A lexical analyser generator.
HELP * MLVED
Using the Poplog editor Ved with PML.
HELP * MLYACC
An error-correcting LALR parser generator.
HELP * NJCOMPAT
Improving compatibility with Standard ML of New Jersey.
HELP * OPTION
Indicating failure without using exceptions.
HELP * OS
Interface to the host operating system.
HELP * PERVASIVE
The pervasive declaration form.
HELP * PML
An introduction to the Poplog Standard ML subsystem.
HELP * PRINTER
Controlling the top-level printer.
HELP * PROTECT
Adding secure entry and exit code to functions.
HELP * QUEUE
Simple queues.
HELP * RATIO
Rational numbers.
HELP * REAL
Functions on real numbers.
HELP * SCON
Union of Standard ML special constant types.
HELP * SHOWDEF
Displays information about names in the current environment.
HELP * SMLLIB
The Edinburgh Standard ML Library.
HELP * STACK
Simple push-down lists.
HELP * STDIO
Basic input/output in PML.
HELP * STDTYPES
The predefined types of PML.
HELP * STDVALUES
The predefined values and exceptions of PML.
HELP * STRING
Functions on strings.
HELP * SYNTAX
The syntax of PML.
HELP * SYSTEM
PML system variables and functions.
HELP * VECTOR
Sequences with constant time access.
HELP * VERSION2
Notes on upgrading from PML Version 1.3 to Version 2.x
HELP * WORKING_PROGRAMMER
Programs from the book ML for the Working Programmer.
--- C.all/pml/help/helpfiles
--- Copyright University of Sussex 1994. All rights reserved.