version.texi « mmm « contrib - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/contrib/mmm/version.texi

blob: 2b6392f8c089b4c0232b49ae6ee3e6a44c0ead36 (plain)

@set UPDATED 9 March 2003
@set UPDATED-MONTH March 2003
@set EDITION 0.4.8
@set VERSION 0.4.8