diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-05 12:05:19 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-05 12:05:19 -0400 |
| commit | 85a02505044f45aeff041b30b3a7fcf9cbf76669 (patch) | |
| tree | ce519c2322c30780cc4a8cfe9f6f772b47719bc1 /doc/manual.tex | |
| parent | f6559c7555465c479d45529748deb8c15dfa346c (diff) | |
Initialize contexts a little more vigorously
Diffstat (limited to 'doc/manual.tex')
0 files changed, 0 insertions, 0 deletions