Mercurial > hg > Applications > Lite

diff demo.pl @ 19:e1d3145cff7a lite-verifier

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author kono
date Thu, 30 Aug 2007 12:44:35 +0900
parents 1c57a78f1d98
children
line wrap: on
line diff
--- a/demo.pl	Sun Jan 21 10:21:43 2001 +0900
+++ b/demo.pl	Thu Aug 30 12:44:35 2007 +0900
@@ -1,4 +1,5 @@
-:-ensure_loaded('../tableau/liter').
+% :-ensure_loaded('../tableau/liter').
+:-ensure_loaded(lite).
 % :-ensure_loaded('../Tokio/initm').
 % :-fcompile(lite:disp).
 :-ensure_loaded(lite:disp).
@@ -8,7 +9,7 @@
 
 % :-com([bou],'tmp.out').
 
-:-write('To do demonstration,
+a :-write('To do demonstration,
 Start Lite verifier
      ?- display.
 Load file gi?.lite.
@@ -16,3 +17,7 @@
 Generate it.
 Run Tokio command toy0.
 ').
+
+:- display.
+
+:- halt.