Mercurial > hg > Applications > Lite

comparison ex.pl @ 15:816425e04ea7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix true - omega interval satisfiability
author kono
date Sat, 20 Jan 2001 21:21:44 +0900
parents 0d896bcc1061
children 4360c2030303
comparison
equal deleted inserted replaced
14:0d896bcc1061 15:816425e04ea7
257 257
258 ex(400,infinite). 258 ex(400,infinite).
259 ex(401,*infinite). 259 ex(401,*infinite).
260 ex(402,*skip). 260 ex(402,*skip).
261 ex(403,*length(5)). 261 ex(403,*length(5)).
262 ex(403,~('<>'(empty))). 262 ex(404,~('<>'(empty))).
263 ex(405,('<>'(empty))).
264 ex(406,(infinite-> @infinite)).
263 265
264 /* end */ 266 /* end */