4.4 Editor Interface
All
Application
Manual
Name
Summary
Help
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)
edit
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.