  local init.lisp file
;;; This file is loaded when it is in the same directory as the z3 executable.
;;; Feel free to hack this file as you like!

(init-remember) ;; initializes the remember system, slows down start-up, remove if not needed

(defun print-start-banner ()
   (let ((tc (color 'text))
	 (bc (color 'back)))
     (set-color 'text (the-color 'z3s5-sysmsg-text))
     (out "Welcome to ")
     (set-color 'back (the-color 'z3s5-orange))
     (set-color 'text (the-color 'z3s5-blue))
     (out "Z3S5 Lisp")
     (set-color 'back bc)
     (set-color 'text (the-color 'z3s5-sysmsg-text))
     (out " on \"")(out (5th (sys 'version nil) "localhost"))(out "\" (")(out (caddr (sys 'version nil)))(out ")")(out " with ")
     (out (cadr (sys 'version nil)))
     (out " cores!\n")
     (out "The session started on ")(out (datestr (now)))(out " UTC.\n")
     (out "Enter (exit) to close the session. Happy hacking!\n")))

(when *interactive-session* (print-start-banner))

   Copyright ( c ) 2019 - 2022  
;;;
;;;  The above copyright notice and this permission notice shall be included in
   all copies or substantial portions of the Software .
;;;
   THE SOFTWARE IS PROVIDED " AS IS " , WITHOUT WARRANTY OF ANY KIND , EXPRESS OR
;;;  IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
   FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT .   IN NO EVENT SHALL
;;;  THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
   LIABILITY , WHETHER IN AN ACTION OF CONTRACT , TORT OR OTHERWISE , ARISING
;;;  FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
;;;  DEALINGS IN THE SOFTWARE.

 This file is loaded when it is in the same directory as the z3 executable.
 Feel free to hack this file as you like!
 initializes the remember system, slows down start-up, remove if not needed

  The above copyright notice and this permission notice shall be included in

  IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
  DEALINGS IN THE SOFTWARE.
  local init.lisp file


(defun print-start-banner ()
   (let ((tc (color 'text))
	 (bc (color 'back)))
     (set-color 'text (the-color 'z3s5-sysmsg-text))
     (out "Welcome to ")
     (set-color 'back (the-color 'z3s5-orange))
     (set-color 'text (the-color 'z3s5-blue))
     (out "Z3S5 Lisp")
     (set-color 'back bc)
     (set-color 'text (the-color 'z3s5-sysmsg-text))
     (out " on \"")(out (5th (sys 'version nil) "localhost"))(out "\" (")(out (caddr (sys 'version nil)))(out ")")(out " with ")
     (out (cadr (sys 'version nil)))
     (out " cores!\n")
     (out "The session started on ")(out (datestr (now)))(out " UTC.\n")
     (out "Enter (exit) to close the session. Happy hacking!\n")))

(when *interactive-session* (print-start-banner))

   Copyright ( c ) 2019 - 2022  
   all copies or substantial portions of the Software .
   THE SOFTWARE IS PROVIDED " AS IS " , WITHOUT WARRANTY OF ANY KIND , EXPRESS OR
   FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT .   IN NO EVENT SHALL
   LIABILITY , WHETHER IN AN ACTION OF CONTRACT , TORT OR OTHERWISE , ARISING
