Credits and READMEs update and stuff

piger · Jan 15, 2018 · 1abeb09 · 1abeb09
1 parent 52983fe
commit 1abeb09
Show file tree

Hide file tree

Showing 6 changed files with 65 additions and 80 deletions.
diff --git a/Credits b/Credits
@@ -5,14 +5,11 @@ PolyGen: Credits
 PolyGen is a Spinning Kids production released in 2002-03 under the GNU General Public License (GPL).
 See License file for details.
 
+concept and programming         Alvise Spano'
+polygen.org site         		Enrico Zeffiro
+documentation                   Alvise Spano'
 
-concept and programming         Manta
+Thanks to Tristano Ajmone for the updates to the english manual and for keeping it aligned.
+Individual grammar authors are credited within the information section of each grammar source file.
 
-polygen.org development         Zeff
-
-polygen.org design              Vision-X.it
-
-documentation                   Manta
-
-debian packaging                Filippo Giunchedi
 
diff --git a/README.md b/README.md
@@ -40,14 +40,14 @@ PolyGen is fairly slim and does not need that powerful computer in order to work
 
 From a theoretical point of view, there could be unlucky cases making the program loop for a sensible amount of time over a certain recursive production; in the real world, though, it will never happen.
 
-Everything you need is a shell or commandline interpreter (such as Bash or Csh under UNIX/Linux or the DOS Command Prompt under Windows) and, only in case you wish to write/view a grammar source file, a plain text editor/viewer.
+Everything you need is a shell or command line interpreter (such as Bash or Csh under UNIX/Linux or the DOS Command Prompt under Windows) and, only in case you wish to write/view a grammar source file, a plain text editor/viewer.
 
 
 ## 1.1.2 Supported platforms
 
 PolyGen packages come in a variety of flavours, some providing different executable files in a platform-dependent way. Be sure the one you downloaded suits your machine and operating system.
 
-A package containing the full source code exists as well and is intended for either people who just wish to know how PolyGen works or users whose platform is not directly supported by a package containing an executable file for their machine. The latters will be able to compile the program by themselves following the instructions in the README file located in the source directory.
+A package containing the full source code exists as well and is intended for either people who just wish to know how PolyGen works or users whose platform is not directly supported by a package containing an executable file for their machine. The latter will be able to compile the program by themselves following the instructions in the README file located in the source directory.
 
 
 ## 1.1.3 Installation
@@ -69,7 +69,7 @@ Just unpack its contents and you're ready to use it.
 
 # 1.2 Usage
 
-The executable file must be launched from a shell or commandline interpreter, as stated in section 1.1.2. It takes a set of arguments and prints to standard output, which is the shell terminal itself by default. For the formal synopsis run the executable with no arguments.
+The executable file must be launched from a shell or command line interpreter, as stated in section 1.1.2. It takes a set of arguments and prints to standard output, which is the shell terminal itself by default. For the formal synopsis run the executable with no arguments.
 
 
 ## 1.2.1 Defining grammars

diff --git a/README.win32 b/README.win32
@@ -5,4 +5,4 @@ PolyGen: README file for MS Windows users
 The Windows version of PolyGen is nearly completely equivalent to the Linux one.
 The program is compiled under Cygwin (the Unix-like environment for Windows) and needs at least its basic dll (if not a full installation), which can be download from http://polygen.org/web/Download.394.0.html. Just unzip it and put to either the same folder where Polygen executable lays or to C:\Windows/System32.
 
-Consider that possible divergencies in the behaviour of the program are most probably dued to OCaml (that is the programming language which PolyGen has been written in) compiler or library lacks in portability, since the whole code is supposed to be platform independent.
+Consider that possible divergences in the behaviour of the program are most probably due to OCaml (that is the programming language which PolyGen has been written in) compiler or library lacks in portability, since the whole code is supposed to be platform independent.
diff --git a/src/.depend b/src/.depend
@@ -1,29 +1,14 @@
-ver.cmo :
-ver.cmx :
-prelude.cmo :
-prelude.cmx :
-err.cmo :
-err.cmx :
-absyn.cmo : prelude.cmx err.cmx
 absyn.cmx : prelude.cmx err.cmx
-env.cmo : prelude.cmx absyn.cmx
-env.cmx : prelude.cmx absyn.cmx
-check.cmo : prelude.cmx err.cmx env.cmx absyn.cmx
 check.cmx : prelude.cmx err.cmx env.cmx absyn.cmx
-pre.cmo : prelude.cmx env.cmx absyn.cmx
-pre.cmx : prelude.cmx env.cmx absyn.cmx
-gen.cmo : prelude.cmx err.cmx env.cmx absyn.cmx
-gen.cmx : prelude.cmx err.cmx env.cmx absyn.cmx
-fake.cmo : absyn.cmx
+env.cmx : prelude.cmx absyn.cmx
+err.cmx :
 fake.cmx : absyn.cmx
-parser.cmo : prelude.cmx fake.cmx err.cmx absyn.cmx parser.cmi
-parser.cmx : prelude.cmx fake.cmx err.cmx absyn.cmx parser.cmi
-lexer.cmo : parser.cmi err.cmx
+gen.cmx : prelude.cmx err.cmx env.cmx absyn.cmx
+io.cmx : prelude.cmx parser.cmx lexer.cmx fake.cmx err.cmx absyn.cmx
 lexer.cmx : parser.cmx err.cmx
-io.cmo : ver.cmx prelude.cmx parser.cmi lexer.cmx fake.cmx err.cmx absyn.cmx
-io.cmx : ver.cmx prelude.cmx parser.cmx lexer.cmx fake.cmx err.cmx absyn.cmx
-main.cmo : ver.cmx prelude.cmx pre.cmx parser.cmi lexer.cmx io.cmx gen.cmx \
-    err.cmx check.cmx absyn.cmx
-main.cmx : ver.cmx prelude.cmx pre.cmx parser.cmx lexer.cmx io.cmx gen.cmx \
-    err.cmx check.cmx absyn.cmx
+main.cmx : prelude.cmx pre.cmx parser.cmx lexer.cmx io.cmx gen.cmx err.cmx \
+    check.cmx absyn.cmx
+parser.cmx : prelude.cmx fake.cmx err.cmx absyn.cmx parser.cmi
 parser.cmi : absyn.cmx
+pre.cmx : prelude.cmx env.cmx absyn.cmx
+prelude.cmx :
diff --git a/src/lexer.ml b/src/lexer.ml
@@ -476,7 +476,8 @@ and __ocaml_lex_quote_rec lexbuf __ocaml_lex_state =
                      ( raise (Failure ("illegal character '" ^ (String.escaped (Lexing.lexeme lexbuf)) ^ "' within quote")) )
 # 478 "lexer.ml"
 
-  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_quote_rec lexbuf __ocaml_lex_state
+  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; 
+      __ocaml_lex_quote_rec lexbuf __ocaml_lex_state
 
 and comment lexbuf =
     __ocaml_lex_comment_rec lexbuf 14
@@ -485,24 +486,25 @@ and __ocaml_lex_comment_rec lexbuf __ocaml_lex_state =
       | 0 ->
 # 35 "lexer.mll"
                     ( token lexbuf )
-# 489 "lexer.ml"
+# 490 "lexer.ml"
 
   | 1 ->
 # 36 "lexer.mll"
                     ( comment lexbuf )
-# 494 "lexer.ml"
+# 495 "lexer.ml"
 
   | 2 ->
 # 38 "lexer.mll"
                    ( Err.next_line lexbuf; comment lexbuf )
-# 499 "lexer.ml"
+# 500 "lexer.ml"
 
   | 3 ->
 # 39 "lexer.mll"
                     ( comment lexbuf )
-# 504 "lexer.ml"
+# 505 "lexer.ml"
 
-  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_comment_rec lexbuf __ocaml_lex_state
+  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; 
+      __ocaml_lex_comment_rec lexbuf __ocaml_lex_state
 
 and token lexbuf =
     __ocaml_lex_token_rec lexbuf 22
@@ -511,184 +513,185 @@ and __ocaml_lex_token_rec lexbuf __ocaml_lex_state =
       | 0 ->
 # 42 "lexer.mll"
                     ( token lexbuf )
-# 515 "lexer.ml"
+# 517 "lexer.ml"
 
   | 1 ->
 # 43 "lexer.mll"
                     ( comment lexbuf )
-# 520 "lexer.ml"
+# 522 "lexer.ml"
 
   | 2 ->
 # 46 "lexer.mll"
                    ( Err.next_line lexbuf; token lexbuf )
-# 525 "lexer.ml"
+# 527 "lexer.ml"
 
   | 3 ->
 # 48 "lexer.mll"
                     ( EOL )
-# 530 "lexer.ml"
+# 532 "lexer.ml"
 
   | 4 ->
 # 49 "lexer.mll"
                     ( COLON )
-# 535 "lexer.ml"
+# 537 "lexer.ml"
 
   | 5 ->
 # 50 "lexer.mll"
                     ( BRA )
-# 540 "lexer.ml"
+# 542 "lexer.ml"
 
   | 6 ->
 # 51 "lexer.mll"
                     ( KET )
-# 545 "lexer.ml"
+# 547 "lexer.ml"
 
   | 7 ->
 # 52 "lexer.mll"
                     ( SQBRA )
-# 550 "lexer.ml"
+# 552 "lexer.ml"
 
   | 8 ->
 # 53 "lexer.mll"
                     ( SQKET )
-# 555 "lexer.ml"
+# 557 "lexer.ml"
 
   | 9 ->
 # 54 "lexer.mll"
                     ( DEF )
-# 560 "lexer.ml"
+# 562 "lexer.ml"
 
   | 10 ->
 # 55 "lexer.mll"
                     ( ASSIGN )
-# 565 "lexer.ml"
+# 567 "lexer.ml"
 
   | 11 ->
 # 56 "lexer.mll"
                     ( PIPE )
-# 570 "lexer.ml"
+# 572 "lexer.ml"
 
   | 12 ->
 # 57 "lexer.mll"
                     ( GT )
-# 575 "lexer.ml"
+# 577 "lexer.ml"
 
   | 13 ->
 # 58 "lexer.mll"
                     ( GTGT )
-# 580 "lexer.ml"
+# 582 "lexer.ml"
 
   | 14 ->
 # 59 "lexer.mll"
                     ( LT )
-# 585 "lexer.ml"
+# 587 "lexer.ml"
 
   | 15 ->
 # 60 "lexer.mll"
                     ( LTLT )
-# 590 "lexer.ml"
+# 592 "lexer.ml"
 
   | 16 ->
 # 61 "lexer.mll"
                     ( CBRA )
-# 595 "lexer.ml"
+# 597 "lexer.ml"
 
   | 17 ->
 # 62 "lexer.mll"
                     ( CKET )
-# 600 "lexer.ml"
+# 602 "lexer.ml"
 
   | 18 ->
 # 63 "lexer.mll"
            ( STAR )
-# 605 "lexer.ml"
+# 607 "lexer.ml"
 
   | 19 ->
 # 64 "lexer.mll"
                     ( PLUS )
-# 610 "lexer.ml"
+# 612 "lexer.ml"
 
   | 20 ->
 # 65 "lexer.mll"
                     ( MINUS )
-# 615 "lexer.ml"
+# 617 "lexer.ml"
 
   | 21 ->
 # 66 "lexer.mll"
                     ( CAP )
-# 620 "lexer.ml"
+# 622 "lexer.ml"
 
   | 22 ->
 # 67 "lexer.mll"
                     ( UNDERSCORE )
-# 625 "lexer.ml"
+# 627 "lexer.ml"
 
   | 23 ->
 # 68 "lexer.mll"
                     ( DOT )
-# 630 "lexer.ml"
+# 632 "lexer.ml"
 
   | 24 ->
 # 69 "lexer.mll"
            ( COMMA )
-# 635 "lexer.ml"
+# 637 "lexer.ml"
 
   | 25 ->
 # 70 "lexer.mll"
                     ( DOTBRA )
-# 640 "lexer.ml"
+# 642 "lexer.ml"
 
   | 26 ->
 # 71 "lexer.mll"
                     ( QUOTE (quote lexbuf) )
-# 645 "lexer.ml"
+# 647 "lexer.ml"
 
   | 27 ->
 # 72 "lexer.mll"
                     ( BACKSLASH )
-# 650 "lexer.ml"
+# 652 "lexer.ml"
 
   | 28 ->
 # 73 "lexer.mll"
                     ( IMPORT )
-# 655 "lexer.ml"
+# 657 "lexer.ml"
 
   | 29 ->
 # 74 "lexer.mll"
                     ( AS )
-# 660 "lexer.ml"
+# 662 "lexer.ml"
 
   | 30 ->
 # 75 "lexer.mll"
                     ( SLASH )
-# 665 "lexer.ml"
+# 667 "lexer.ml"
 
   | 31 ->
 # 77 "lexer.mll"
                                                             ( TERM (Lexing.lexeme lexbuf) )
-# 670 "lexer.ml"
+# 672 "lexer.ml"
 
   | 32 ->
 # 78 "lexer.mll"
                                                 ( NONTERM (Lexing.lexeme lexbuf) )
-# 675 "lexer.ml"
+# 677 "lexer.ml"
 
   | 33 ->
 # 79 "lexer.mll"
                                                ( let s = Lexing.lexeme lexbuf in DOTLABEL (String.sub s 1 (String.length s - 1)) )
-# 680 "lexer.ml"
+# 682 "lexer.ml"
 
   | 34 ->
 # 81 "lexer.mll"
                     ( EOF )
-# 685 "lexer.ml"
+# 687 "lexer.ml"
 
   | 35 ->
 # 83 "lexer.mll"
                ( raise (Failure ("illegal character '" ^ (String.escaped (Lexing.lexeme lexbuf)) ^ "'")) )
-# 690 "lexer.ml"
+# 692 "lexer.ml"
 
-  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_token_rec lexbuf __ocaml_lex_state
+  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; 
+      __ocaml_lex_token_rec lexbuf __ocaml_lex_state
 
 ;;
 
diff --git a/src/ver.ml b/src/ver.ml
@@ -7,4 +7,4 @@
 
 
 let ver = "1.7.0"
-let date = "20151007"
+let date = "20180115"
Original file line number	Diff line number	Diff line change
Expand Up		@@ -7,4 +7,4 @@


		let ver = "1.7.0"
		let date = "20151007"
		let date = "20180115"