MLWorks User Guide version 2.0 for Windows

.

  .mlworks startup file
  .mlworks_preferences interactive environment preferences file

A

  application building [1] [2] [3]
    delivering executables [1] [2]
    runtime system size
    See also project system
  applications
    building [1]

B

  Basis library. See Standard ML Basis library.
  batch compilation [1] [2]
    mlbatch.bat script
  batch context [1] [2]
  breakpoints [1]
  building applications [1]

C

  compilation settings
  compilation system [1]
    compilation manager tool
      format of printed values in [1]
    unit and compound notation
  completion dialog
  connect dialogs
  console window
  context browser [1] [2]
  contexts
    batch context [1] [2]
    interactive context [1] [2]
  creating a project file

D

  debugging mode [1] [2] [3] [4]
  Definition of Standard ML, the
  delivering executables [1] [2]

E

  editing
    custom editors [1]
    listener input [1]
    source files [1]
  Emacs
    editor server [1]
    keyboard shortcuts [1]
  error browser [1]
  error handling. See error browser; stack browser
  evaluating code
    from source files
    in the listener [1]
    interrupting
  exiting MLWorks

F

  file dependencies
  file viewer [1]

G

  General structure [1] [2]

H

  history mechanism
  history tool [1]
  home directory

I

  inspector tool [1] [2]
    changing the graph layout [1]
    format of printed values in [1]
    TTY interface [1]
  interactive context [1] [2]
  interactive environment preferences file
  interrupting evaluation

K

  keyboard shortcuts [1]

L

  libraries supplied with MLWorks [1]
  listener
    completion mechanism
    editing input [1]
    format of printed values in [1]
    history [1]
    keyboard shortcuts [1]

M

  main.exe script
  mlbatch.bat script
  mlimage-console.bat script
  mlpervasive.bat script
  mlworks shortcut
  MLWorks structure [1] [2] [3]

O

  object files
  object mode for projects
  optimizing mode

P

  pervasive library. See MLWorks structure.
  podium
  preferences [1]
  profile tool [1]
    changing the graph layout
  project
    configurations
  project system [1]
  projects [1]
    adding target source files
    clearing message log
    compilation settings
    compiling
    creating
    determining file dependencies
    library path
    loading code into the environment
    modes
      creating
    object mode
    object path
    recompiling
    relative path names
    reloading
    saving
    setting required files
    source dependencies
    sources
    subprojects

Q

  quitting MLWorks

R

  reading code from files
  require extension [1] [2]
  runtime system size

S

  saving
    image file of current session
    source version of interactive context
  saving a project file
  scripts
    main.exe
    mlbatch.bat
    mlimage-console.bat
  Shell structure [1] [2] [3]
  shortcuts
    mlworks
  stack browser [1] [2] [3]
  Standard ML Basis library [1] [2] [3]
  start-up file [1]
  step mode [1]
  subprojects
  system browser [1] [2]

T

  trace manager
  tracing
  TTY mode [1]
    debugger [1]
    inspector [1]

U

  unhandled exceptions
  units
  using files and the use function

V

  value printer [1] [2]

W

  Windows structure