Commits

Author Commit Message Labels Comments Date
Yaron Minsky
Added tag 0.1.14 for changeset d1484f5423d5
Yaron Minsky
formatting
Tags
0.1.14
Yaron Minsky
added planets.install
Yaron Minsky
Added tag 0.1.14 for changeset 4b78d601ac00
Yaron Minsky
updated changelog
Yaron Minsky
version 0.1.14
Yaron Minsky
added merlin file
Yaron Minsky
fixed injectivity problem
Yaron Minsky
bump version number in common.ml
Yaron Minsky
ported to Core, added ocamlbuild script
Yaron Minsky
fixed many small compilation warnings
Yaron Minsky
small tweaks
Yaron Minsky
updated README
Yaron M. Minsky
[project @ yminsky@cs.cornell.edu-20070620023050-4tfcufcopd6wwhg6] Bumped version number
Yaron Minsky
[project @ Arch-1:yminsky@cs.cornell.edu--2004%planets--mainline--1.0--patch-1] Fixed bug in trace creation
Yaron Minsky
[project @ Arch-1:yminsky@cs.cornell.edu--2004%planets--mainline--1.0--base-0] initial import (automatically generated log message)
ymi...@minskyprimus.net
Tailor preparing to convert repo by adding .hgignore