summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorbringert <unknown>2004-06-22 15:48:57 +0000
committerbringert <unknown>2004-06-22 15:48:57 +0000
commit97112b53d3a1be5e812abaf3212f5739f61dd4a7 (patch)
tree82b99eab3448bb78d33c6ad72de77e211a26fbca /src
parentb19c44e163ee882c48965bf1942c4c02d41e2b40 (diff)
Change references to gf2 to gf.
Diffstat (limited to 'src')
-rw-r--r--src/INSTALL10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/INSTALL b/src/INSTALL
index 9fcd1ca1b..c18be684d 100644
--- a/src/INSTALL
+++ b/src/INSTALL
@@ -29,12 +29,12 @@ To make and install GF2 (Version 2-beta, 2/4/2004).
make unix -- for Linux, Solaris, Mac OSX
make windows -- for MS Windows
- The binary is sent to the file GF2/bin/gf2
+ The binary is sent to the file GF2/bin/gf
6. For a quick test: start GF2, load a grammar and parse a string:
cd ../grammars/basic
- ../../bin/gf2 English.gf
+ ../../bin/gf English.gf
-- when GF2 has started and shows the prompt >:
> p "every number is even or odd"
@@ -45,13 +45,13 @@ To make and install GF2 (Version 2-beta, 2/4/2004).
make install-java
- Then edit the file GF2/bin/jgf2 by changing
+ Then edit the file GF2/bin/jgf by changing
the value of GFHOME to the location of your GF2/bin directory. Test the
GUI with some grammars:
cd ../grammars/letter
- ../../bin/gf2 <mkLetter.gfs
- ../../bin/jgf2 Letter.gfcm
+ ../../bin/gf <mkLetter.gfs
+ ../../bin/jgf Letter.gfcm
When the window opens, push the Random button.