summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2013-07-25 15:24:22 +0000
committeraarne <aarne@chalmers.se>2013-07-25 15:24:22 +0000
commit0087456c7aefb0ac72a221cba66899ba795ba838 (patch)
tree1c7d9044f1ff0aa8c155d6680c0c1e73fef6102c
parent99cfb3463998e670673e8fd49525cca9e5e02edf (diff)
updated the number of PhD thesis and publications in index.html; started an RGL publications page
-rw-r--r--index.html5
1 files changed, 3 insertions, 2 deletions
diff --git a/index.html b/index.html
index a2e29e702..3ce2d6489 100644
--- a/index.html
+++ b/index.html
@@ -198,8 +198,9 @@ Later projects using GF and involving third parties include, in chronological or
</UL>
<P>
-Academically, GF has been used in four PhD theses and resulted in around
-fifty scientific publications (see <A HREF="doc/gf-bibliography.html">GF publication list</A>).
+Academically, GF has been used in at least ten PhD theses and resulted
+in more than a hundred
+scientific publications (see <A HREF="doc/gf-bibliography.html">GF publication list</A>).
</P>
<H2>Programming in GF</H2>
<P>