;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;
;     File:  loader.lisp
;
;   Author:  Jim Davies jimmydavies@usa.net
;
;  Version:  SIRRINE2 Beta 0.5, 12/12/98
;
;  Comment:
;


;; export all demo names here, like main-demo

(defpackage "DESPINA"
 (:use "COMMON-LISP" "USER" "SYSTEM" "SIRRINE")
 (:export "MAIN-DEMO" "retrieve-demo" 
	  "increment-demo" "inc" "demo2" "demo1a"))



(in-package despina)

(load "despina/model-tm")
(load "despina/model-k")
(load "despina/examples")
(load "despina/integers.lisp")
(load "despina/math-facts.lisp")

; This makes publicly accessable SIRRINE commands (such as "demo1a" etc.)
;  available from the command line.
(use-package 'despina 'user)
(use-package 'despina 'sirrine)