![](https://secure.gravatar.com/avatar/c4fb1aecd98bbaa9856f8c421db294e0.jpg?s=120&d=mm&r=g)
13 Jul
2003
13 Jul
'03
11:03 p.m.
On Sun, Jul 13, 2003 at 09:47:36PM +0200, Hans Hagen wrote:
At 19:31 13/07/2003 +0200, you wrote:
The changes are already done. And it would be difficult to distinguish between 3.14159 and 3.141592 at macro level. I would not want to read the .log file for the version number in the banner.
hm, isn't there a macro in latex then that holds the number?
No, LaTeX does not know, which TeX is used.
also, you can maybe use a latex version number for testing
Not reliable. For example, my tex is much older than my LaTeX
installation.
Yours sincerely
Heiko