diff options
| author |  Carst Tankink <carst.tankink@inria.fr> | 2014-10-01 13:38:50 +0200 |
|---|---|---|
| committer |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-10-01 18:08:51 +0200 |
| commit | c73a59d9a6f124d5668054a16057d0955ca43cbd (patch) | |
| tree | 29cf4a1e322ae899f65550a536d830b875f187bb /proofs/proof.ml | |
| parent | 2867c568d046937d63528b1f6b6a68b6efe9ef5a (diff) | |
Add additional location information to AST XMLs.
Diffstat (limited to 'proofs/proof.ml')
0 files changed, 0 insertions, 0 deletions