diff options
author | 2013-11-17 07:54:59 -0500 | |
---|---|---|
committer | 2013-11-17 07:54:59 -0500 | |
commit | 1f1fc5c83dae5167133a56ecae33692a0d6444db (patch) | |
tree | 70fee330ce7b7c0b3d4b7cf7246ded4aa19cb348 /ltmain.sh | |
parent | 4259d248050c93180767c076469431f11b8fe984 (diff) |
Manual: add a pointer to background reading on inference rule notation
Diffstat (limited to 'ltmain.sh')
0 files changed, 0 insertions, 0 deletions