diff options
| author | Simon Tatham <anakin@pobox.com> | 2009-09-16 10:57:11 +0000 |
|---|---|---|
| committer | Simon Tatham <anakin@pobox.com> | 2009-09-16 10:57:11 +0000 |
| commit | ddfa693b0fd4a0902ba85414dc5bbefc5bb384cf (patch) | |
| tree | 36cf99baee8b250a2c21a6b6ecbe343bf3160ea6 /nestedvm.c | |
| parent | 84d012998fc5c82ff32c85243f8e0f6e9b1e003d (diff) | |
| download | puzzles-ddfa693b0fd4a0902ba85414dc5bbefc5bb384cf.zip puzzles-ddfa693b0fd4a0902ba85414dc5bbefc5bb384cf.tar.gz puzzles-ddfa693b0fd4a0902ba85414dc5bbefc5bb384cf.tar.bz2 puzzles-ddfa693b0fd4a0902ba85414dc5bbefc5bb384cf.tar.xz | |
Aha, I've managed to prove that my inadequate error highlighting is
actually just about adequate after all. Large comment added
containing some discussion and the proof.
[originally from svn r8653]
Diffstat (limited to 'nestedvm.c')
0 files changed, 0 insertions, 0 deletions