;;; -*- mode:lisp;package:user;base:10.;fonts:(cptfontb) -*- ;;; ;;; $Header: /ct/interp/adas.l,v 1.1 83/10/18 17:28:27 penny Exp $ ;;; $Log: /ct/interp/adas.l,v $ ;;;Revision 1.1 83/10/18 17:28:27 penny ;;;Initial revision ;;; ;;;Revision 1.4 83/09/20 22:53:49 paul ;;;convert to new filename convention ;;; ;;;Revision 1.3 83/07/01 19:37:22 penny ;;;now loads all of the subparts ;;; ;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; adasf.l ;;; ;;; Penny Muncaster-Jewell JUne 28, 1983 ;;; ;;; Paul split this file into several smaller more manageable pieces ;;; ;;; So this file just loads the appropiate new file pieces. ;;; ;;; The appropiate names have been added to the filemap. This will ;;; ;;; not work totally as yet. ;;; ;;; ;;; ;;; Paul Robertson January 30, 1983 ;;; ;;; ;;; ;;; The C*T Ada Interpreters Syntax and Static Semantics ;;; ;;; ;;; ;;; This file is part of a proprietary software project. Source ;;; ;;; code and documentation describing implementation details are ;;; ;;; available on a confidential, non-disclosure basis only. These ;;; ;;; materials, including this file in particular, are trade secrets ;;; ;;; of Computer * Thought Corporation. ;;; ;;; ;;; ;;; (c) Copyright 1982 and 1983, Computer * Thought Corporation. ;;; ;;; All Rights Reserved. ;;; ;;; ;;; ;;; Reference materials: ;;; ;;; Miller, 1982. The C*T Ada Tutor: Guide to the Implementation. ;;; ;;; Charniak et al., 198?. Artificial Intelligence Programming. ;;; ;;; ;;; ;;; The following code assumes familiarity with the above. ;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; Ensure presence of needed files. (eval-when (compile load eval) (ct_load 'adas100)) (eval-when (compile load eval) (ct_load 'adas120)) (eval-when (compile load eval) (ct_load 'adas130)) (eval-when (compile load eval) (ct_load 'adas150)) (eval-when (compile load eval) (ct_load 'adas36)) (eval-when (compile load eval) (ct_load 'adas39)) (eval-when (compile load eval) (ct_load 'adas39a)) (eval-when (compile load eval) (ct_load 'adas40)) (eval-when (compile load eval) (ct_load 'adas42)) (eval-when (compile load eval) (ct_load 'adas44)) (eval-when (compile load eval) (ct_load 'adas50)) (eval-when (compile load eval) (ct_load 'adas60)) (eval-when (compile load eval) (ct_load 'adas70)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;