Mercurial > hg > Applications > Lite
view tk/gi0.lite @ 10:f2aa38ce0787
add state display.
author | kono |
---|---|
date | Fri, 19 Jan 2001 23:14:00 +0900 |
parents | 1c57a78f1d98 |
children |
line wrap: on
line source
% % specification for simple graphics interaction % specification(( +(((stop,keep((red,not(start)));start,keep((green,not(stop)))))), % []((red,not(green);not(red),green)), % []((green->move)), []((red->not(move))), % [](move), halt(quit) % length(10) )). st_variables([stop,start,quit],[red,gree,move]).