Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Name was chosen.

  • Loading branch information...
commit f32b7f45642637bed823c398bcedf73836df8887 1 parent 49d704f
@calebegg authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  examples/tutorial.lisp
2  examples/tutorial.lisp
@@ -1,4 +1,4 @@
-;; Welcome to ACL2_IDE_NAME
+;; Welcome to Proof Pad
;; This tutorial will give you a brief introduction to
;; the features of ACL2 and the IDE itself.
Please sign in to comment.
Something went wrong with that request. Please try again.