Permalink
Commits on Feb 18, 2012
  1. [enhance] http_client,web_client: more_headers argument is now a stri…

    …ng list instead of a bare optional string
    Aqua-Ye committed Feb 18, 2012
Commits on Feb 17, 2012
  1. [fix] compiler, renaming: on non separated mode don't take care of pa…

    …ckage name (should fix no separated tests)
    BourgerieQuentin committed Feb 17, 2012
  2. [fix] compiler, typer: print with pack => prevent Invalid arg throwed…

    … by get_package_name, and traverse forall
    BourgerieQuentin committed Feb 17, 2012
Commits on Feb 16, 2012
  1. [fix] compiler, database: export database ident into gamma only for d…

    …atabase declared in current package
    BourgerieQuentin committed Feb 16, 2012
  2. [enhance] compiler, typer: Error message with name type wich have sam…

    …e original names (adding original package)
    BourgerieQuentin committed Feb 16, 2012
Commits on Feb 15, 2012
  1. [enhance] compiler, utils: Added for convenience a set for binding_di…

    …rective and associated decons utils
    BourgerieQuentin committed Feb 15, 2012
  2. [fix] compiler, syntax: on letin following bindings should have a hig…

    …hest priority than coerced expr
    BourgerieQuentin committed Feb 15, 2012
Commits on Feb 14, 2012
  1. [fix] xhtml.opa,parser: use pedestrian verbatim approach with namespace

    CHANGELOG [fix] fix anonymous namespace in xhtml
    CHANGELOG [fix] fix namespace name conservation in xhtml
    OpaOnWindowsNow committed Feb 8, 2012