Mercurial > hg > Applications > Lite

annotate initr @ 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
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
10 :-use_module(library(system)).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
11 :-lite:[op].
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
12
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
13 :-
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
14 system('make tmpa M=lite:'),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
15 ['.tmpc'].
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
16
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
17 make :- system('make tmpa M=lite:'),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
18 consult(lite:['.tmpc','.tmpl']).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
19
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
20 :- use_module(lite).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
21 :- ensure_loaded(lite:[ex,kiss_ex]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
22 :- ensure_loaded(lite:[dvcomp]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
23 :- ensure_loaded(lite:[rstd]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
24
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
25 % :-start.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
26 % :-display.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
27 % display(Host) :- start(Host),display.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
28
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
29 % end