diff options
| author | msozeau | 2007-03-08 15:30:06 +0000 |
|---|---|---|
| committer | msozeau | 2007-03-08 15:30:06 +0000 |
| commit | 32535b28bd75852101541dbd77275d27ff236326 (patch) | |
| tree | 4049bf00345761fe823822e1d850a0365895dc52 /kernel | |
| parent | 35e7236b1c5423b67498e164a0511f961a67056b (diff) | |
Create a program_scope in subtac Utils
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9692 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions