]>
2002-12-03 | Claudio Sacerdoti... | m:exist ==> m:exists | blob | commitdiff | raw |
2002-11-28 | Claudio Sacerdoti... | * iff notation added (new csymbol) | blob | commitdiff | raw | diff to current |
2002-11-21 | Pietro Di Lena | Porting to the new DTD for MoWGLI. | blob | commitdiff | raw | diff to current |
2002-11-21 | no author | This commit was manufactured by cvs2svn to create branch | blob | commitdiff | raw | diff to current |