RE: [abc-users] Advice order in abc wrong?

From: Eric Bodden <eric@bodden.de>
Date: Sat May 28 2005 - 22:04:33 BST

 
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Sorry, my fault :-)

I messed around with the position information. That made recognition
of "lexical ordering" impossible.

Sorry!

Eric

- --
Eric Bodden
Chair I2 for Programming Languages and Program Analysis
RWTH Aachen University

-----BEGIN PGP SIGNATURE-----
Version: PGP 8.0.3

iQA/AwUBQpjc4cwiFCm7RlWCEQI2LQCaA9Uq3wP5z34V63TmKWNfwS92DCsAnikT
rTWrss30zjuEmR94xLxUZm+m
=pym1
-----END PGP SIGNATURE-----
Received on Sat May 28 22:04:50 2005

This archive was generated by hypermail 2.1.8 : Tue May 31 2005 - 23:50:06 BST