Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Fetching latest commit…

Cannot retrieve the latest commit at this time

..
Failed to load latest commit information.
cbsl
jsbsl
mlbsl
mlstatebsl
ADDINGBSLFILES
README
_tags
serverLib.mli

README

* Addition of the 2009-07-18:

Opabsl is now based on qmlbsl. That means that:
** General functions will be in qmlbsl
** Opa-specific functions will be in opabsl
** opabsl uses qmlbsl (no dupplication allowed, ...)

* Addition of the 2010-06-25:

Opabsl and Qmlbsl will be merged proceding so :

purging historic of libqml.git to get only the history of qmlbsl
add a remote in opa.git and get the commit of qmlbsl
do a merge between the 2 origins.

* Addition of the 2010-07-02

Opabsl and Qmlbsl are merged, folder qmlbsl is removed.
Something went wrong with that request. Please try again.