4.4 Editor Interface
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Built-in Predicates
        • Editor Interface
          • edit/1
          • edit/0
          • Customizing the editor interface
    • Packages
Availability::- use_module(library(edit)).(can be autoloaded)
Sourceedit
Edit the `default' file using edit/1. The default file is the file loaded with the command line option -s or, in Windows, the file loaded by double-clicking from the Windows shell.