diff options
| author | ppedrot | 2013-04-16 18:36:36 +0000 |
|---|---|---|
| committer | ppedrot | 2013-04-16 18:36:36 +0000 |
| commit | d8e39f445103466b36a2c04cca52ddb880d9cae7 (patch) | |
| tree | c7ea7bf8db3002b4690d62fe6ffb1da243b97c05 /doc/tutorial | |
| parent | fc40f3368f615e7e7faf242d2c82a39f1e08cb8c (diff) | |
Fixing #2968. This is quite brittle though, because we are messing
with the exception catching system of Ltac which is not really
known for its safety, so that it may break a few things.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16411 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions