Some of you noticed, that the formal version is under constant development.
I made some special changes, that's why I droped this note. Please feel free
to discuss it here.
1998-02-03:
Removed PGP5 workaround, published a format converter instead.
Simplified the lexer. It returns only tokens.
Added Literal Data semantics.
Started with compressed data (included zlib)
1998-01-30:
Removed "debugging" output
Finished public key packet
1998-01-28:
Added a switch for PGP5 handling. Will be removed in the final version.
Added more "debugging" output and worked on signature subpackets.
1998-01-27:
First public edition.
Complete rewrite of the lexer (removing the stateful all-in-one lexer)
1997-12-0?:
Phoned with John W. Noerenberg:
Got his ACK for writing a formal specification containing a syntax and
semantic definition in a machine readable format.
This specification will be a reference implementation:
- not fast
- proofable correct (necessary for CA and gouvernmental use
by European (German) laws)
If a specification and a program are nearly the same, the formal proof
of correctness and termination is much easier.