79 |
(t ;; if ANY header or license information is printed by the |
(t ;; if ANY header or license information is printed by the |
80 |
;; program, then the following License and Enhancement notice |
;; program, then the following License and Enhancement notice |
81 |
;; must be printed (see License). |
;; must be printed (see License). |
82 |
(format t "GCL (GNU Common Lisp) ~A~%~a~%~a~%" "DATE" |
(format t "GCL (GNU Common Lisp) ~A~%~a~%~a~%~a~%~a~%" "DATE" |
83 |
"Licensed under GNU Library General Public License" |
"Licensed under GNU Library General Public License" |
84 |
"Contains Enhancements by W. Schelter"))) |
"Contains Enhancements by W. Schelter" |
85 |
|
"The function (apropos <some string>) gives symbols containing that string." |
86 |
|
"These functions describe those symbols: (describe 'symbol), (help 'symbol)."))) |
87 |
(setq si::*ihs-top* 1) |
(setq si::*ihs-top* 1) |
88 |
(in-package 'system::user) (incf system::*ihs-top* 2) |
(in-package 'system::user) (incf system::*ihs-top* 2) |
89 |
(funcall system::*old-top-level*)) |
(funcall system::*old-top-level*)) |