Mercurial > cpdt > repo

diff src/StackMachine.v @ 44:b1e137b4aafe

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Small prose change
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Sep 2008 16:18:11 -0400
parents 02e8e9ef2746
children 9b0d118abbc9
line wrap: on
line diff
--- a/src/StackMachine.v	Mon Sep 15 10:05:37 2008 -0400
+++ b/src/StackMachine.v	Tue Sep 16 16:18:11 2008 -0400
@@ -391,7 +391,7 @@
   unfold expDenote.
   fold expDenote.
 
-(** Now we arrive at a point where the tactics we have seen so far are insufficient:
+(** Now we arrive at a point where the tactics we have seen so far are insufficient.  No further definition unfoldings get us anywhere, so we will need to try something different.
 
 [[