www

commit c510daa3d8d9192b0a486908a5f3cd283993fd1c
parent 95708419ee38e744a02908164d71ca95bba945aa
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri, 24 Mar 2017 16:35:24 +0100

Cleanup; added some appendices (Literate Programming), enlarged TeX limits as we were going beyond them with these new appendices.

Diffstat:
M
info.rkt
 | 
3
+++
M
scribblings/phc-thesis.scrbl
 | 
38
++++++++++----------------------------
M
scribblings/util.rkt
 | 
7
++++++-

3 files changed, 19 insertions(+), 29 deletions(-)
diff --git a/info.rkt b/info.rkt
@@ -28,6 +28,9 @@
                      "trivial"
                      "typed-struct-props"
                      "xlist"
+                     ;; remember, multi-id, type-expander:
+                     "auto-syntax-e"
+                     "mutable-match-lambda"
                      ))
 (define scribblings '(("scribblings/phc-thesis.scrbl" ())))
 (define pkg-desc "Description Here")
diff --git a/scribblings/phc-thesis.scrbl b/scribblings/phc-thesis.scrbl
@@ -8,7 +8,11 @@
          scribble/core]
 @(use-mathjax)
 
-@title[#:style (with-html5 manual-doc-style)
+@tex-header{\usepackage{morewrites}}
+
+@title[#:style (struct-update style
+                              (with-html5 manual-doc-style)
+                              [properties (λ (p) (cons 'toc p))])
        #:version (version-text)]{Thesis}
 @author[@author+email["Georges Dupéron" "georges.duperon@gmail.com"]]
 
@@ -27,13 +31,7 @@
 
 @(table-of-contents)
 
-@include-section*{state-of-the-art.scrbl}
-@;{@(struct-update part
-                (include-section* "state-of-the-art.scrbl")
-                [style (λ (s)
-                         (struct-update style s
-                                        [properties (λ (p) (cons 'unnumbered p))]))])}
-@;@include-asection{state-of-the-art.scrbl}
+@include-asection{state-of-the-art.scrbl}
 
 @;@(generate-bibliography-section)
 @; Generate the bibliography with a numbered section:
@@ -48,27 +46,11 @@
                             (add1 a)))
                   1))
 
-@; experiments:
-@;{
- @aappendix{
-  @asection{
-   @atitle{Fu}}
-  @include-asection[
- (lib "phc-graph/scribblings/phc-graph-implementation.scrbl")]
-  @asection{
-   @atitle{Bar}
-   @asection{
-    @atitle[#:style (style #f (list default-nb))]{One}}
-   @asection{
-    @atitle[#:style (style #f (list default-nb))]{Two}}}
-
-  @asection{
-   @atitle{Hello world}
-   Hi there!}
- }
-}
-
 @aappendix{
  @include-asection[(lib "phc-graph/scribblings/phc-graph-implementation.scrbl")]
  @include-asection[(lib "phc-adt/scribblings/phc-adt-implementation.scrbl")]
+ @include-asection[(submod (lib "remember/remember-implementation.hl.rkt") doc)]
+ @include-asection[(submod (lib "multi-id/multi-id.hl.rkt") doc)]
+ @include-asection[
+ (lib "type-expander/scribblings/type-expander-implementation.scrbl")]
 }
 \ No newline at end of file
diff --git a/scribblings/util.rkt b/scribblings/util.rkt
@@ -17,6 +17,8 @@
          (all-from-out scribble-math)
          version-text
          aappendix
+         tex-header
+         tex-code
          include-section*
          include-asection
          struct-update
@@ -212,7 +214,10 @@
 (define (appendix)
   (list
    (section #:style (style #f (list 'hidden 'toc-hidden 'unnumbered)))
-   (tex-code "\\appendix")))
+   (tex-header
+    "\\usepackage{alphalph}")
+   (tex-code
+    "\\appendix\\renewcommand\\thesection{\\AlphAlph{\\value{section}}}")))
  
 (define-syntax (atitle stx)
   (syntax-case stx ()