diff options
| author |  ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-01-17 18:22:14 +0000 |
|---|---|---|
| committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-01-17 18:22:14 +0000 |
| commit | 5689b10c459567206629323b0911ae3b467f780d (patch) | |
| tree | a9317cbed57a9a10c6c33850701d5aeeb2c482f7 /theories/Init | |
| parent | f6a5e11fa3624d2fc5a2402066e22e1d052101bc (diff) | |
Fixed the pretty-printing of the Program plugin.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14917 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Init')
0 files changed, 0 insertions, 0 deletions