annotate ppc/Manifest @ 1:b5139af1a420 tip basis

Fixed permissions on compile scripts
author Mike Spivey <mike@cs.ox.ac.uk>
date Fri, 13 Oct 2017 17:27:58 +0100
parents bfdcc3820b32
children
rev   line source
mike@0 1 Makefile
mike@0 2 Manifest
mike@0 3 check.ml
mike@0 4 check.mli
mike@0 5 compile
mike@0 6 dict.ml
mike@0 7 dict.mli
mike@0 8 keiko.ml
mike@0 9 keiko.mli
mike@0 10 kgen.ml
mike@0 11 kgen.mli
mike@0 12 lexer.mli
mike@0 13 lexer.mll
mike@0 14 lib.c
mike@0 15 lib.k
mike@0 16 mach.ml
mike@0 17 mach.mli
mike@0 18 main.ml
mike@0 19 parser.mly
mike@0 20 peepopt.ml
mike@0 21 peepopt.mli
mike@0 22 tree.ml
mike@0 23 tree.mli
mike@0 24 util.ml
mike@0 25 promote.sed