What's New


The previous update to these pages was on November 27, 1995,
preceded by an update on September 1, 1995 and
before that on August 9, 1994.
The first update was on June 19, 1994. 

Here are some new and changed pages: 

March 5, 1998

December 13, 1997

August 12, 1997


see also: | new4 | | intro | | faq | | history | | runtime | | tutorial | | tiny | | plan | 
back to: | merlin | | LSI | | USP | 
please send comments to jecel@lsi.usp.br (Jecel Mattos de Assumpcao Jr)