- set micro_version to 2.
[ginac.git] / doc / tutorial / version.texi
1 @set UPDATED 7 February 2000
2 @set EDITION 0.5.2
3 @set VERSION 0.5.2