diff options
| author | Mathias Soeken <mathias.soeken@gmail.com> | 2016-09-09 11:49:43 +0200 |
|---|---|---|
| committer | Mathias Soeken <mathias.soeken@gmail.com> | 2016-09-09 11:49:43 +0200 |
| commit | b11406c566c72974d7bde310feca6792953d5802 (patch) | |
| tree | 415126c7be68d2431a06a44a9dbe9451449ac10b /abclib.dsp | |
| parent | a46af9de7b8fd6465f4a89e0842bf8f3313b06b0 (diff) | |
| parent | ca93730781ac2a6559e16a6203786073b1cbd514 (diff) | |
| download | abc-b11406c566c72974d7bde310feca6792953d5802.tar.gz abc-b11406c566c72974d7bde310feca6792953d5802.tar.bz2 abc-b11406c566c72974d7bde310feca6792953d5802.zip | |
Merged alanmi/abc into default
Diffstat (limited to 'abclib.dsp')
| -rw-r--r-- | abclib.dsp | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -5351,6 +5351,10 @@ SOURCE=.\src\proof\acec\acec.h # End Source File # Begin Source File +SOURCE=.\src\proof\acec\acecCo.c +# End Source File +# Begin Source File + SOURCE=.\src\proof\acec\acecCore.c # End Source File # Begin Source File @@ -5371,10 +5375,18 @@ SOURCE=.\src\proof\acec\acecOrder.c # End Source File # Begin Source File +SOURCE=.\src\proof\acec\acecPo.c +# End Source File +# Begin Source File + SOURCE=.\src\proof\acec\acecPolyn.c # End Source File # Begin Source File +SOURCE=.\src\proof\acec\acecRe.c +# End Source File +# Begin Source File + SOURCE=.\src\proof\acec\acecUtil.c # End Source File # End Group |