[r2005-07-01 11:09:14 by beppe] Empty log message

Original author: beppe Date: 2005-07-01 11:09:14+00:00

[r2005-07-01 11:09:14 by beppe] Empty log message
Original author: beppe Date: 2005-07-01 11:09:14+00:00
cc428fb5 · Pietro Abate · 70d0eaf2 · cc428fb5 · cc428fb5
Commit cc428fb5 authored Oct 05, 2007 by Pietro Abate
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

Makefile.distrib Makefile.distrib +1 -0

web/site.cd web/site.cd +1 -1

No files found.
--- a/Makefile.distrib
+++ b/Makefile.distrib
 include Makefile.conf
 include VERSION

+
 ALL_TARGET=cduce cduce_lib.cma
 INSTALL_BINARIES=cduce$(EXE)


--- a/web/site.cd
+++ b/web/site.cd
@@ -264,7 +264,7 @@ match page with
 items::_* ] ->
 let items = 
      [<meta>[<p>[ 
-         <a href="cgi-bin/cduce">"Online prototype" '  -  '
+         <a href="cgi-bin/cduce">"Online Interpreter" '  -  '
         <a href="documentation.html">"Documentation"'  -  '
         <a href="download.html">"Download"'  -  '
         <a href="demo.html">"Demo"'  -  '