KM 2.0.50

[Pete]

KM 2.0.50 is on the Web site. From RELEASE-NOTES.txt:

2.0.50 - Already in KM:
(save-kb "tmp.km") saves the KB as a .km file
(fastsave-kb "tmp.fkm") saves the KB as a faster-loading .fkm
file

KM 2.0.50 adds a third option:
(faslsave-kb "tmp.fkm") does fastsave-kb AND Lisp-compiles it
for
even faster loading (.fasl extension in
Allegro Lisp).

(load-newest-kb <file>) loads the most recently written
version of
<file> (.km, .fkm, or .fasl).
<file> does not need an extension (KM works
out the most recent extension, and given
extension is ignored).
Thanks to Francis Leboutte for these additions.