GitHub - ermine/scheduler

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
tests		tests
.gitignore		.gitignore
AUTHORS.txt		AUTHORS.txt
INSTALL.txt		INSTALL.txt
LICENCE		LICENCE
META		META
Makefile		Makefile
README.txt		README.txt
_oasis		_oasis
_tags		_tags
configure		configure
erm_scheduler.mllib		erm_scheduler.mllib
heapqueue.ml		heapqueue.ml
myocamlbuild.ml		myocamlbuild.ml
scheduler.ml		scheduler.ml
scheduler.mli		scheduler.mli
setup.ml		setup.ml

Repository files navigation

(* OASIS_START *)
(* DO NOT EDIT (digest: 1ac7bce25fe2949cfe4d4761a993a072) *)
This is the README file for the erm_scheduler distribution.

Small scheduler/timer for running function at given time

See the files INSTALL.txt for building and installation instructions. See the
file LICENCE for copying conditions. 


(* OASIS_STOP *)