api-debug.texi updates
authorAndy Wingo <wingo@pobox.com>
Fri, 24 Sep 2010 16:04:05 +0000 (18:04 +0200)
committerAndy Wingo <wingo@pobox.com>
Fri, 24 Sep 2010 16:04:05 +0000 (18:04 +0200)
commita1652dec108b7b500146a57a99cd8aeb90e98ea9
tree87a6dc8ea46ac3af4ead536d630ed8f2162c703b
parent3e2c5f1ef32bee8cf0d728de558dbdd22316c966
api-debug.texi updates

* doc/ref/api-debug.texi (Debugging, Evaluation Model)
  (Source Properties): Fixes.
doc/ref/api-debug.texi