pre13, Dec 03 2001
  - type_walk wasn't properly walk down through the type term recursivly,
    fixed.
  - yet another fix to polimorphic functions, in 'a f('a x) { ... } 'a ain't 
    polimorphic variable.
  - added tests script in t/, now we are able to produce some nice tests
    that should fail, should output something and so on.
  - fixed print_string() to write to fd 1 (stdout) instead of fd 0 (stdin).

pre12, Nov 29 2001
  (from now on we start very detailed changelogs)
  - more comments
  - made ksi_stmt always return expression of Ksi.Void type -- hence 
    conversion for Ksi.Cond (aka Gontutil.If) is not required anymore
  - catch Invalid_argument errors from map2 in typechecking, convert them
    to human readable messages
  - semicolons are required after function prototype and global variables
    again... I guess there are not needed, but parser is unable to split
    declarations then :<
  - hacker.tex update -- added coding style section
  - t/* compiles
  - added few fixes for polimorphic functions, however they are still 
    broken... :<

pre11, Nov 27 2001
  - made it compile

pre10, Nov 27 2001
  - total rewrite of typesystem
  - added copyright note to each source file

pre8, Nov 24 2001
  - docs translated to LaTeX

pre7, Nov 22 2001
  - some initial work on structures, unions and tuples, they will be all
    considered subtypes on the content basis, not the name
  - now we produce line number information for debugger
  
pre6, Nov 21 2001
  - fixed string and floats handling, it is possible that they will work
    now :)

pre4, Nov 21 2001
  - README file updated, items added:
    - info about diffrences between Gont and Caml, SML and Popcorn
    - example about closures
    - chapter about datatypes representation, and more about passing 
      conventions
  - new bug and optimalization possibility added to TODO

pre3, Nov 20 2001
  - runtime rewritten to C
  - added exceptions support basics to runtime
  - added proposed COPYRIGHT
  - makefile/mkdist cleanups
