diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-01-02 11:40:08 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-01-02 11:40:08 -0500 |
| commit | 6b1732f501a644128c58ce3b3d8635706d870db8 (patch) | |
| tree | 12713d5958382cff3237f0a499207f8520f11d81 /src/expl_env.sig | |
| parent | 47c3f97fcb06ec6b269d2242ca3eca3a0bbde118 (diff) | |
Add a note about Explify to the manual
Diffstat (limited to 'src/expl_env.sig')
0 files changed, 0 insertions, 0 deletions