| commit | f0f6d12cd4d2159cbe2473c6ff5aeb5f9d245e02 | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Fri Jan 23 08:52:28 2004 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Fri Jan 23 08:52:28 2004 +0000 |
| tree | dec64d0de926fa60eca7813d640433d3dedbf819 | |
| parent | 226f697560af74985ee5ecf2fc4f6b1c991006dc [diff] |
add \guilabel macro to mark labels that occur in user interfaces