diff options
| author | Ryan Kavanagh <rak@debian.org> | 2013-07-25 08:54:36 -0400 |
|---|---|---|
| committer | Ryan Kavanagh <rak@debian.org> | 2013-07-25 08:54:36 -0400 |
| commit | 40210401b135c80dd15c0a180491fe175a7d7fb9 (patch) | |
| tree | 204d24baf72fffb89cf96f65667a77397ac821be /emacsen | |
| parent | Switch github hosted git submodule to use https (diff) | |
New proof general version
Diffstat (limited to 'emacsen')
| m--------- | emacsen/proofgeneral | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/emacsen/proofgeneral b/emacsen/proofgeneral -Subproject 89b08da94021ec618c57026031c836aa1f7e021 +Subproject 1afd9da42eaf12cf1c46f016372fb6d8054c58f |