diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2009-09-02 14:24:17 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2009-09-02 14:24:17 +0000 |
| commit | 7eef3eac6fc116b4e5bf3d733494b6086cf13091 (patch) | |
| tree | c7fbe29ae2bba6060321a6530c014e408c6e3ebf /Makefile | |
| parent | 80cfed887895d89c00e87d720987ac6bf18bc949 (diff) | |
Isabelle2008 compatibility;
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions