<pre style='margin:0'>
Jackson Isaac (JacksonIsaac) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/b803ba68c5b2b0a7c22a36ae191fcb31351a9654">https://github.com/macports/macports-ports/commit/b803ba68c5b2b0a7c22a36ae191fcb31351a9654</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit b803ba68c5b2b0a7c22a36ae191fcb31351a9654
</span>Author: ijackson <ijackson@macports.org>
AuthorDate: Thu Apr 26 00:13:15 2018 +0530
<span style='display:block; white-space:pre;color:#404040;'> acl2: Uncomment user_notes regarding +certify
</span>---
math/acl2/Portfile | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/acl2/Portfile b/math/acl2/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 3e709d3..d41cbf3 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/acl2/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/acl2/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -32,10 +32,11 @@ long_description \
</span> as the language (a subset of Common Lisp), it is very \
flexible.
<span style='display:block; white-space:pre;background:#ffe0e0;'>-# user_notes Users who want to use ACL2 for serious work should
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-# install the certify variant (sudo port install +certify),
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-# which will certify (i.e., prove all of the theorems)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-# in the included examples. This can take several hours.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+notes "Users who want to use ACL2 for serious work should
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+install the certify variant (sudo port install +certify),
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+which will certify (i.e., prove all of the theorems)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+in the included examples. This can take several hours.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+"
</span>
homepage http://www.cs.utexas.edu/users/moore/acl2/${shortversion}
distfiles ${name}-${version}${extract.suffix}:sources
</pre><pre style='margin:0'>
</pre>