This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

vsc 157bce4a13 fix duplicated title (Paulo Moura) ...

fix info on term ordering to respect ISO standard.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@94 b08c6af1-5177-4d33-ba66-4b1c6b8b522a

2001-06-19 17:47:45 +00:00

..

Makefile

This commit was generated by cvs2svn to compensate for changes in r4,

2001-04-09 19:54:03 +00:00

yap.tex

fix duplicated title (Paulo Moura)

2001-06-19 17:47:45 +00:00