 				       specware-major-version
 				       specware-minor-version
 				       specware-patch-number)))
-	(widget-insert (about-specware-center specware-version))
-	(widget-create 'link :help-echo "Specware Version Release Notes"
-		       :action 'goto-specware-release-notes
-		       :button-prefix ""
-		       :button-suffix ""
-		       specware-version)))
-    (widget-insert "\n\n")
-    (widget-create 'link :help-echo "Specware Web Page"
-		   :action 'goto-specware-web-page
-		   :button-prefix ""
-		   :button-suffix ""
-		   "Specware")
-    (widget-insert " is a leading-edge automated software development system 
+        (insert "\n\n")
+        (insert (about-specware-center specware-version))
+	(insert specware-version)
+        (center-line)
+        ;; (insert "\n\n")
+        ;; (make-button (prog1 (point) (insert "Specware Release Notes ") (insert specware-version)) (point)
+	;; 	     'face 'bold
+	;; 	     'help-echo "mouse-2, see Specware Version Release Notes"
+	;; 	     'action (lambda (_button) (goto-specware-release-notes))
+	;; 	     'follow-link t)
+        ;; (center-line)
+        ))
+    (insert "\n\n")
+    (insert-button "Specware"
+                   'face 'about-specware-link-face
+                   'action 'goto-specware-web-page
+                   'follow-link t)
+    (insert " is a leading-edge automated software development system 
 that allows users to precisely specify the desired functionality of 
 their applications and to generate provably correct code based on 
 these requirements. At the core of the design process in Specware 
 lies stepwise refinement, in which users begin with a simple, abstract 
 model of their problem and iteratively refine this model until it 
 uniquely and concretely describes their application.")
-    (widget-insert "\n")
+    (center-line -7)
+    (insert "\n")
     (about-specware-finish-buffer)
     (goto-char (point-min))
     (forward-line 1)))

  "Describe the Specware System"
  (interactive)
  (unless (about-specware-get-buffer "*About Specware*")
    (set-glyph-image specware-logo
		     "./specware_logo.xpm"
		     'global 'x)
    (widget-insert (about-specware-center specware-logo))
    (widget-create 'default
		   :format "%t"
		   :tag-glyph specware-logo)
    (widget-insert "\n\n")
    (when (inferior-lisp-running-p)
      (let* ((specware-major-version (sw:eval-in-lisp "cl-user::*Specware-Major-Version*"))
	     (specware-minor-version (sw:eval-in-lisp "cl-user::*Specware-Minor-Version*"))


(when sw:use-hide-show
  ;(setq hs-minor-mode-map nil)		; Force resetting in case of old version
  (require 'hideshow)
  (setq hs-allow-nesting t)
  (add-to-list 'hs-special-modes-alist
	       `(specware-mode ,(concat "\\(\\s(\\|\\<def\\>\\|"
