diff options
| author | herbelin | 2010-06-12 17:53:24 +0000 |
|---|---|---|
| committer | herbelin | 2010-06-12 17:53:24 +0000 |
| commit | deec843772d392f71806c011351fa6d4f551115d (patch) | |
| tree | 281314ec77155b7804af0636a3bd5290baaf29e2 /dev | |
| parent | 9df6e882d61ae9c1502d9f3e81e2bf304fa6679e (diff) | |
Added regression tests for bugs + miscellaneous improvements
- #2095 (not fixed in v8.2 but fixed in v8.3 and trunk)
- #2108 (fixed in v8.2, v8.3, trunk)
- #2102 (moved warning to msg_warning to ensure flushing, but still
open enhancement)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13121 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions