diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-10-26 23:30:18 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-10-26 23:30:18 +0000 |
| commit | c52dda95a69e02cd62d5ddac6ecf2229fe0c478f (patch) | |
| tree | 0712d1b09a99c6898b6a7690646dbc6098ce7737 /INSTALL | |
| parent | 5fe9222b36ad49d74c84edb04d6bc4a7d844be01 (diff) | |
* Bug: check that term is an application.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions