Mercurial > hg > Applications > Lite

annotate initm @ 10:f2aa38ce0787

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add state display.
author kono
date Fri, 19 Jan 2001 23:14:00 +0900
parents 1c57a78f1d98
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
1
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
2 % Sat May 22 11:43:11 JST 1993
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
3
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
4 % ?-op(900,xfy,[(&),('&&')]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
5 % ?-op(700,xfy,['<->','\=',proj]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
6 % ?-op(700,xfy,['=>','<=']).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
7 % ?-op(60,fy,['~','#','<>', '@',^]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
8 % ?-op(60,fy,[*]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
9
10
f2aa38ce0787 add state display.
kono
parents: 2
diff changeset
10 :- use_module(library(system)).
f2aa38ce0787 add state display.
kono
parents: 2
diff changeset
11
f2aa38ce0787 add state display.
kono
parents: 2
diff changeset
12 unix(system(X)) :- system(X).
f2aa38ce0787 add state display.
kono
parents: 2
diff changeset
13
2
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
14 :-lite:[op].
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
15
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
16 :-
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
17 unix(system('make tmpa M=lite:')),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
18 ['.tmpc'].
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
19
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
20 make :- unix(system('make tmpa M=lite:')),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
21 consult(lite:['.tmpc','.tmpl']).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
22
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
23 :- use_module(lite).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
24 :- ensure_loaded(lite:[ex,kiss_ex]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
25
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
26 % :-start.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
27 % :-display.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
28 % display(Host) :- start(Host),display.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
29
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
30 % end