<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>