Galax 0.3.0 release notes
-------------------------

Bugs
- All reported and fixed bugs are documented in 'Bugs' file.

Language:
Numerous changes to align with Nov. 2002 and upcoming Feb 2003 WDs.
- Grammar alignment:
  'as' SequenceType in type declarations, function signatures, typeswitch
- Implements element & attribute constructor semantics of Nov. 2002 WDs.
- Added positional variables to FLWOR
- Added support for order-by in FLWOR
- Implemented complete semantics of path expressions, including
  document order and removing duplicates.
- Implemented dynamic function dispatch, promotion of arguments to
  arithmetic operators
- Transitive 'eq' operators 

Galax features:
- Command-lineoptions for monitoring memory and CPU usage.

Data model:
- Updated terminology to align with WDs.

Function library:
- Changed xf: to fn: prefix
- Added fn:error()
- Added support for fn:base-uri() and fn:lang()
- New semantics for fn:data() and fn:boolean()

Galax 0.2.0:
------------

Parsing
- Fixed very large number of bugs. Support for entities and DTDs is
  still missing.
- Support for ISO-8859-1 and UTF-8 character encodings.
- Factorized XML and XQuery parsers. Results in more compact code,
  easier to improve and maintain.
- Updated XQuery parser to align with latest grammar.
- Alpha support for SAX-based parsing.

Data model:
- Support for node identity.
- Fixed support for text nodes.

Language:
- Major revision based on August 16th 2002 working drafts.
- Full support for XPath expressions. Notably XPath parent, ancestor,
  ancestor-or-self axis. See STATUS for some remaining deviations.
- Support for node-identity related operations (is, isnot
  distinct-nodes, union, intersect, except, etc.).
- Support for type promotion in function calls, arithmetics, etc.
- Fixed many bugs in the semantics, through normalization.
- Added dynamic semantics for type operations through (simplified)
  form of matching. Still some bugs there.

Namespaces:
- Fixed many bugs in namespace support and printing of namespaces.
- Implemented support for default function namespace.

XML Schema:
- *Very* alpha support for XML Schema import and validation. Basic
  datatypes are now supported.

Type system:
- Updated type inference with the new language.
- Made sure all expressions are type checked, necessary for
  optimization.
- Fixed bugs in typing for typeswitch.

Function library:
- Most of F&O functions are now implemented. Some limitations apply to
  XML Schema types not yet supported (notably date and time).

Optimizer:
- Support for simple query simplification.

Compilation:
- Removed dependency to the stdlib file.
- Removed dependency to anything but OCaml compilers and standard unix
  tools.
- Fixed compilation for both Cygwin and MinGW.

Tests:
- Added large number of regression tests.

Tools and interfaces:
- Removed Java API for now. Will be back soon.
- Added very limited user-level api (Galapi) in Caml.
- Changed galax command-lined interpretor. See the new syntax and
  options in ./README
- Major revision of the pretty-printer for types and XQuery
  expressions. Added support for precedence in both cases.

Documentation:
- Added examples of calls to the Caml and C API's in ./example.

