diff options
| author | Francesco Mazzoli <f@mazzo.li> | 2013-01-28 17:07:12 +0000 |
|---|---|---|
| committer | Francesco Mazzoli <f@mazzo.li> | 2013-01-28 17:07:12 +0000 |
| commit | cee737be953cbcee4d78951ad627c75a39a6ae9e (patch) | |
| tree | d72cb8637655eba224c144852dc65ddc285cdebc | |
| parent | 9b84ae2d392929265af3f764d8e82255a2622267 (diff) | |
docs top level
| -rw-r--r-- | InterimReport.agda (renamed from docs/InterimReport.agda) | 0 | ||||
| -rw-r--r-- | InterimReport.bib (renamed from docs/InterimReport.bib) | 0 | ||||
| -rw-r--r-- | InterimReport.tex (renamed from docs/InterimReport.tex) | 0 | ||||
| -rw-r--r-- | Makefile (renamed from docs/Makefile) | 0 | ||||
| -rw-r--r-- | idris-proposal.tex (renamed from docs/idris-proposal.tex) | 0 |
5 files changed, 0 insertions, 0 deletions
diff --git a/docs/InterimReport.agda b/InterimReport.agda index c433d59..c433d59 100644 --- a/docs/InterimReport.agda +++ b/InterimReport.agda diff --git a/docs/InterimReport.bib b/InterimReport.bib index fb31a04..fb31a04 100644 --- a/docs/InterimReport.bib +++ b/InterimReport.bib diff --git a/docs/InterimReport.tex b/InterimReport.tex index 752288c..752288c 100644 --- a/docs/InterimReport.tex +++ b/InterimReport.tex diff --git a/docs/idris-proposal.tex b/idris-proposal.tex index 1d7a043..1d7a043 100644 --- a/docs/idris-proposal.tex +++ b/idris-proposal.tex |