diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2019-05-30 12:18:08 +0200 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2019-05-30 12:18:08 +0200 |
| commit | f4c419b9ddec15bad267a4463f0720d6e28042d2 (patch) | |
| tree | 54a0259116476150247619c4410eae33f8669314 /thesis.pdf.gup | |
| parent | 8afbe1f7df24034dd16fdf2e89b0665b2318ae2a (diff) | |
| download | incremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.tar incremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.tar.gz incremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.tar.bz2 incremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.tar.xz incremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.zip | |
Further work
Diffstat (limited to 'thesis.pdf.gup')
| -rwxr-xr-x | thesis.pdf.gup | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/thesis.pdf.gup b/thesis.pdf.gup index 6e2fa65..bb611f4 100755 --- a/thesis.pdf.gup +++ b/thesis.pdf.gup | |||
| @@ -1,10 +1,14 @@ | |||
| 1 | #!/usr/bin/env zsh | 1 | #!/usr/bin/env zsh |
| 2 | 2 | ||
| 3 | gup -u intro.tex | ||
| 4 | gup -u implementation.tex | ||
| 5 | |||
| 3 | gup -u edit-lens/src/Control/Edit.lhs | 6 | gup -u edit-lens/src/Control/Edit.lhs |
| 4 | gup -u edit-lens/src/Control/Lens/Edit.lhs | 7 | gup -u edit-lens/src/Control/Lens/Edit.lhs |
| 5 | gup -u edit-lens/src/Control/FST.lhs | 8 | gup -u edit-lens/src/Control/FST.lhs |
| 6 | gup -u edit-lens/src/Control/DFST.lhs | 9 | gup -u edit-lens/src/Control/DFST.lhs |
| 7 | gup -u edit-lens/src/Control/DFST/Lens.lhs | 10 | gup -u edit-lens/src/Control/DFST/Lens.lhs |
| 11 | gup -u edit-lens/src/Control/FST/Lens.tex | ||
| 8 | 12 | ||
| 9 | bDir=$(pwd) | 13 | bDir=$(pwd) |
| 10 | 14 | ||