Andy Wingo
|
7545ddd42a
a number of doc fixes
|
14 years ago |
Andy Wingo
|
1435c7dcf8
loose ends from "discouraged" removal
|
14 years ago |
Marius Vollmer
|
235da338fa
* api-deprecated.texi: Removed.
|
20 years ago |
Marius Vollmer
|
07d83abe7b
* scheme-binding.texi: Renamed to api-binding.texi.
|
20 years ago |