diff lall @ 0:cfb7c6b24319

Initial revision
author kono
date Thu, 30 Aug 2007 14:57:44 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lall	Thu Aug 30 14:57:44 2007 +0900
@@ -0,0 +1,24 @@
+/*
+ Copyright (C) 1988, Shinji Kono 
+ Everyone is permitted to copy and distribute verbatim copies
+ of this license, but changing it is not allowed.  You can also
+ use this wording to make the terms for other programs.
+
+ send your comments to kono@mtl.u-tokyo.ac.jp
+*/
+?- nl,load('ts.ql'),
+   load('to.ql'),
+   load('tc.ql'),
+   load('th.ql'),
+   load('td.ql'),
+   load('te.ql'),
+   load('tg.ql'),
+   load('tr.ql'),
+   load('tu.ql'),
+   load('tf.ql'),
+   load('xf.ql'),
+   load('cp.ql'),
+   load('tp.ql').
+?- [ts], com('tm.pl', '/dev/null').
+% ?- gc, ttyflush, save((tokio)), 'r_header', (tokio).
+end_of_file.