Computation & Deduction
CONFIGfile for use with the Elf server and a
TAGSfile for easy navigation and search in Emacs. Files with sample queries (usually
examples.quy) are generally not loaded, but the queries are transmitted to the server individually. The file
load.smlis for an older version of Elf which runs embedded in the SML top-level environment, rather than as a separate server.