1. camlspotter
  2. spotlib

Commits

Author Commit Message Date Builds
camlspotter
auto update of OMyMakefile
camlspotter
auto update of OMyMakefile
camlspotter
camlspotter
removed Seq
camlspotter
auto update of OMyMakefile
camlspotter
camlspotter
opam updates
camlspotter
changes
camlspotter
Seq is merged into Stream
camlspotter
auto update of OMyMakefile
camlspotter
auto update of OMyMakefile
camlspotter
NO_INSTALL for gen_phantom
camlspotter
update
Branches
2.0.0
camlspotter
opamchange
Branches
2.0.0
camlspotter
auto update of OMyMakefile
Branches
2.0.0
camlspotter
auto update of OMyMakefile
Branches
2.0.0
camlspotter
auto update of OMyMakefile
Branches
2.0.0
camlspotter
spotlib.1.0.0 is not for 4.00.0
Branches
2.0.0
camlspotter
merge
Branches
2.0.0
camlspotter
oasis for 2.0.0
camlspotter
merge
camlspotter
opams
Branches
2.0.0
camlspotter
opam/url fix
Branches
2.0.0
camlspotter
2.0.0
Branches
2.0.0
camlspotter
auto update of OMyMakefile
camlspotter
desc is no longer mutual with t
camlspotter
added a lazy list module, Stream
camlspotter
added @@
camlspotter
camlspotter
set binary search now uses Obj.magic!
  1. Prev
  2. Next