annotate .gitignore @ 0:bfdcc3820b32

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