From 33aa35aa2ad26c075d1d03973a87a1edbaf26b46 Mon Sep 17 00:00:00 2001
From: davidcok <davidcok@github.com>
Date: Tue, 17 Dec 2024 20:07:48 -0500
Subject: [PATCH] Adding info to downloads description

---
 downloads/index.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/downloads/index.html b/downloads/index.html
index 70de58b..7e4d400 100644
--- a/downloads/index.html
+++ b/downloads/index.html
@@ -31,10 +31,12 @@ <h2>Installing OpenJML (Command Line Tool)</h2>
       <ul>
       <li> openjml -- the javac-like tool that does (static) deductive verification, 
        compiles a Java program with runtime assertion checks, and other functions.
-      <li> openjml-java -- a build of Java (java-21-ga as of 2023) but with JML libraries included
+      <li> openjml-java -- a build of Java (java-21-ga as of 2023) but with JML libraries included, helful for running RAC-compiled Java programs
       <li> jmlruntime.jar -- the JML runtime files needed when executing Java files with runtime checks compiled in
       <li> OpenJMLUserGuide.pdf -- a copy of the reference manual for the OpenJML tool
       <li> JML_Reference_Manual.pdf -- a copy of the JML (language) reference manual
+      <li> openjml-compile -- this script compiles a Java program that uses openjml capabilities programmatically
+      <li> openjml-run -- this script runs a program compiled by openjml-compile
       </ul>
 
       <p>Current versions of the pdf file are also available from <a href="../downloads">this web site</a>.</p>