diff ppc/Manifest @ 0:bfdcc3820b32

Basis
author Mike Spivey <mike@cs.ox.ac.uk>
date Thu, 05 Oct 2017 08:04:15 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ppc/Manifest	Thu Oct 05 08:04:15 2017 +0100
@@ -0,0 +1,25 @@
+Makefile
+Manifest
+check.ml
+check.mli
+compile
+dict.ml
+dict.mli
+keiko.ml
+keiko.mli
+kgen.ml
+kgen.mli
+lexer.mli
+lexer.mll
+lib.c
+lib.k
+mach.ml
+mach.mli
+main.ml
+parser.mly
+peepopt.ml
+peepopt.mli
+tree.ml
+tree.mli
+util.ml
+promote.sed