diff options
| author | David Aspinall | 2002-07-13 17:53:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-13 17:53:12 +0000 |
| commit | fdb8d72700feceb587cebe0696531b2447467f5c (patch) | |
| tree | 75ca415bd18fcf855fa7828245e3703b3fd1bbf9 /hol98/example.sml | |
| parent | e54b86825f2bf3308ff06973dfc5706aba55355e (diff) | |
Change colour but not boldness
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions