KeY 2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450

Package de.uka.ilkd.key.parser

This package contains the parser for .key and .proof files.

See: Description

Package de.uka.ilkd.key.parser Description

This package contains the parser for .key and .proof files. The subpackages also contain parsers for extended versions of Java, as it is used in proofs and in rule files.
KeY 2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450