diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-16 22:28:41 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-16 22:28:41 +0000 |
| commit | eaa8d1f7813437d6b1bc55de786f34e9a92433c8 (patch) | |
| tree | 6c1342fe13ff2b8bb7072acccd9029a2f4094a6c /doc | |
| parent | 0c88c6453f6b401970dfa97971dace7783ac2f47 (diff) | |
| download | mdk-eaa8d1f7813437d6b1bc55de786f34e9a92433c8.tar.gz mdk-eaa8d1f7813437d6b1bc55de786f34e9a92433c8.tar.bz2 | |
access to the predicate type added
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions