From b9caaa8e4b66817dbc66d0e79b567b3285869fea Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 7 Feb 2004 19:31:13 +0000
Subject: Deleted file

---
 html/projects/scrgen.html | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 html/projects/scrgen.html

(limited to 'html/projects/scrgen.html')

diff --git a/html/projects/scrgen.html b/html/projects/scrgen.html
deleted file mode 100644
index d65b477f..00000000
--- a/html/projects/scrgen.html
+++ /dev/null
@@ -1,26 +0,0 @@
-<h2>Script General</h2>
-<p>
-Proof General is based around a core system of script management
-for proof scripts.  But the idea of script management is not
-restricted to proof assistants, it makes sense for many interactive
-scripting languages.  It deserves to be better known and used.
-A worthwhile project would be to rewrite the core script management
-features of Proof General so that they could work for arbitrary
-interactive scripting languages, and instantiate to Proof General as
-well as languages such as ML, Haskell, LISP, Scheme, Python, and
-even Emacs Lisp itself.
-</p>
-<p>
-An alternative version of this project is to implement a 
-generic basis for script management which does <i>not</i> depend on 
-Emacs, but uses a similar protocol to communicate with other
-text editors or display widgets.  This could be implemented in
-SML, OCaml, Java, C++, or any other suitable language.
-<p>
-<b>Skills:</b>
-Proficient Emacs Lisp (or other programming language), 
-knowledge of scripting languages desirable.
-</p><p>
-<b>Proposer:</b>
-<a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
-</p>
-- 
cgit v1.2.3