Mercurial > urweb
comparison src/coq/README @ 1553:4105f779de7b
Even gentler handling of back-button returns to pages with stale message-passing credentials
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 28 Aug 2011 19:32:20 -0400 |
parents | de8333ef1a0c |
children | 705cb41ac7d0 |
comparison
equal
deleted
inserted
replaced
1552:c3b5cf5c2f98 | 1553:4105f779de7b |
---|