[sv-ac] Mantis 1932

From: Eduard Cerny <Eduard.Cerny_at_.....>
Date: Fri Jan 11 2008 - 06:47:22 PST
Hi,

The example "initial a1: ... "on top of page 13 of proposal for LTL
should have #=# instead of #-#.

ed

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Fri Jan 11 06:47:49 2008

This archive was generated by hypermail 2.1.8 : Fri Jan 11 2008 - 06:47:57 PST