annotate call @ 4:f864bb4ba9a4 default tip

update tags
author convert-repo
date Fri, 07 Nov 2008 20:36:52 +0000
parents cfb7c6b24319
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
1 /*
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
2 Copyright (C) 1988, Shinji Kono
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
3 Everyone is permitted to copy and distribute verbatim copies
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
4 of this license, but changing it is not allowed. You can also
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
5 use this wording to make the terms for other programs.
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
6
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
7 send your comments to kono@mtl.u-tokyo.ac.jp
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
8 */
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
9
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
10 ?- ['ts'],
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
11 compile('to'),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
12 compile('tc'),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
13 compile('th'),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
14 compile('td'),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
15 compile('te'),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
16 compile('tg'),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
17 compile('tr'),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
18 compile('tu'),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
19 compile('tf'),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
20 compile('xf'),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
21 compile('cp'),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
22 compile('tp').
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
23 ?- com('tm.pl', user), 'r_header'.