diff options
| author | Pierre Courtieu | 2004-04-23 09:53:41 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-04-23 09:53:41 +0000 |
| commit | 49e4b9daffaf2edbbe318d8bc5f102e036cd9724 (patch) | |
| tree | 2b5163bac16ebd2dafc15662c4200164f85d3487 /FAQ | |
| parent | f8df994ee797909ba5567811f6d278da4e225f83 (diff) | |
modified the syntax for subscript in coq/pg
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions