comparison .gitignore @ 0:bfdcc3820b32

Basis
author Mike Spivey <mike@cs.ox.ac.uk>
date Thu, 05 Oct 2017 08:04:15 +0100
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:bfdcc3820b32
1 .hg
2 .hgignore
3 *.o
4 *.cmi
5 *.cmo
6 *~
7 keiko/interp.c
8 keiko/keiko.h
9 keiko/obx-t.a
10 keiko/pplink
11 keiko/ppx
12 keiko/template.c
13 lab1/a.k
14 lab1/a.test
15 lab1/a.x
16 lab1/lexer.ml
17 lab1/parser.ml
18 lab1/parser.mli
19 lab1/parser.output
20 lab1/ppc
21 lab2/a.k
22 lab2/a.test
23 lab2/a.x
24 lab2/lexer.ml
25 lab2/parser.ml
26 lab2/parser.mli
27 lab2/ppc
28 lab3/a.k
29 lab3/a.test
30 lab3/a.x
31 lab3/lexer.ml
32 lab3/parser.ml
33 lab3/parser.mli
34 lab3/ppc
35 lab4/b.out
36 lab4/b.s
37 lab4/b.test
38 lab4/lexer.ml
39 lab4/parser.ml
40 lab4/parser.mli
41 lab4/parser.output
42 lab4/ppc
43 lib/common.cma
44 ppc/a.k
45 ppc/a.test
46 ppc/a.x
47 ppc/lexer.ml
48 ppc/parser.ml
49 ppc/parser.mli
50 ppc/parser.output
51 ppc/ppc
52 tools/nclex.ml
53 tools/ncparse.ml
54 tools/ncparse.mli
55 tools/ncparse.output
56 tools/nodexp
57 tools/guest_rsa
58 tools/pibake
59 tools/sshconfig