| 2021-07-30 21:46 | Patch docs after running MathJax offline | Suzanne Soy | 1 | +6 | -6 |
| 2021-07-30 20:17 | Rewrite URLs to js etc. files in the subdirectory | Suzanne Soy | 1 | +7 | -0 |
| 2021-07-30 19:58 | Copy index.html one directory up, don't rewrite URLs to the non-versioned docs. | Suzanne Soy | 2 | +11 | -3 |
| 2021-07-29 01:57 | Try to add back ++main-xref-in | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-29 01:22 | Added timeout for the job, no need to wait 6 hours when it gets stuck. | Suzanne Soy | 1 | +1 | -0 |
| 2021-07-29 01:09 | Try removing the installation scope altogether | Suzanne Soy | 1 | +2 | -1 |
| 2021-07-29 00:54 | debug | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-28 18:43 | debug | Suzanne Soy | 1 | +7 | -5 |
| 2021-07-28 18:02 | Debug | Suzanne Soy | 1 | +4 | -1 |
| 2021-07-28 18:02 | Debug | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-28 16:39 | Debug | Suzanne Soy | 1 | +3 | -3 |
| 2021-07-28 13:43 | Cleanup | Suzanne Soy | 1 | +0 | -2 |
| 2021-07-28 13:33 | Remove scribble-lib before installing my custom version | Suzanne Soy | 1 | +1 | -0 |
| 2021-07-28 13:10 | Fix the scribble links which point to the global remote documentation instead of the current page | Suzanne Soy | 2 | +31 | -1 |
| 2021-07-28 13:03 | scribble-lib should be installed globally to erase the existing version and force the links to scribble's own documentation to stay within the 7.3 version | Suzanne Soy | 1 | +4 | -4 |
| 2021-07-28 00:41 | fixed typo | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-28 00:32 | The option ++main-xref-in is now needed to avoid breaking links to the main documentation when building a standalone scribble document to HTML | Suzanne Soy | 1 | +3 | -3 |
| 2021-07-12 02:30 | Updated patches because mathjax code changed despite locking a version; added package-lock.json which seems necessary to get the right version of mathjax even when pinning mathjax-node on th CLI. | Suzanne Soy | 4 | +431 | -17 |
| 2021-07-12 01:36 | why is NVM so hard to install? Couldn't they just make a .deb? | Suzanne Soy | 1 | +5 | -0 |
| 2021-07-12 00:22 | nvm stuff | Suzanne Soy | 1 | +7 | -1 |
| 2021-07-11 23:35 | Use a github actions script to publish to github pages | Suzanne Soy | 1 | +10 | -2 |
| 2021-07-11 23:30 | Might need to install zip, adding it just in case | Suzanne Soy | 1 | +4 | -0 |
| 2021-07-11 23:29 | Install nvm manually because it's still not officially packaged by Ubuntu. | Suzanne Soy | 1 | +2 | -0 |
| 2021-07-11 18:01 | Added dependncy on ghostscript | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-11 16:31 | print files before execution of pdflatex | Suzanne Soy | 1 | +1 | -0 |
| 2021-07-11 14:39 | print files before execution of pdflatex | Suzanne Soy | 1 | +19 | -1 |
| 2021-07-10 23:50 | Fix badly quoted string which led to infinite recursion | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-10 20:21 | Try to avoid buffering by producing a lot of content | Suzanne Soy | 1 | +40 | -0 |
| 2021-07-10 20:19 | Try to avoid failures with ||true | Suzanne Soy | 1 | +5 | -0 |
| 2021-07-10 20:13 | log output via a file | Suzanne Soy | 2 | +3 | -1 |
| 2021-07-10 19:38 | Fixed bug | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-07 19:17 | debug timeout | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-07 02:03 | typo in script | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-07 01:25 | typo in script | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-06 16:34 | Forgot to escape $ in Makefile | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-06 14:48 | typo in Makefile (spaces instead of tab) | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-06 04:26 | fixup! Build only on 7.3 for now, it seems to be the only version which has a chance to build | Suzanne Soy | 1 | +3 | -3 |
| 2021-07-06 04:25 | Build only on 7.3 for now, it seems to be the only version which has a chance to build | Suzanne Soy | 1 | +2 | -1 |
| 2021-07-06 04:12 | Dump the faulty .tex file on error | Suzanne Soy | 2 | +11 | -1 |
| 2021-07-06 03:12 | Don't prompt for installation of dependencies of turstile | Suzanne Soy | 1 | +2 | -2 |
| 2021-07-06 03:10 | Add dependency on turnstile-doc | Suzanne Soy | 2 | +3 | -1 |
| 2021-07-06 03:00 | Try installing an older version of macrotypes which now requires v7.0 | Suzanne Soy | 1 | +5 | -0 |
| 2021-07-06 02:42 | typo | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-06 02:34 | Explicitly specify "main" branch for phc-graph.git, raco doesn't seem to follow the remote HEAD automatically | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-06 02:21 | More updated versions for scribble | Suzanne Soy | 1 | +6 | -1 |
| 2021-07-06 01:44 | More updated versions for scribble | Suzanne Soy | 1 | +12 | -4 |
| 2021-07-06 01:39 | typo in bash | Suzanne Soy | 1 | +2 | -2 |
| 2021-07-06 01:34 | Try with updated versions of scribble + my-changes | Suzanne Soy | 1 | +10 | -1 |
| 2021-07-06 01:19 | Try with an older version of fancy-app | Suzanne Soy | 1 | +5 | -0 |
| 2021-07-04 03:49 | Cleanup after debug | Suzanne Soy | 1 | +0 | -3 |
| 2021-07-04 03:46 | GitHub Actions still turn strings into numbers, try to fix this | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-04 03:46 | Try fix RACKET_DIR | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-04 03:43 | GitHub Actions still turn strings into numbers, try to fix this | Suzanne Soy | 1 | +9 | -7 |
| 2021-07-04 03:38 | GitHub Actions: disable fail-fast to see what jobs can pass | Suzanne Soy | 1 | +1 | -0 |
| 2021-07-04 03:37 | GitHub Actions still turn strings into numbers, try to fix this | Suzanne Soy | 1 | +2 | -2 |
| 2021-07-04 03:31 | Debug why raco cannot be found after installation | Suzanne Soy | 1 | +1 | -0 |
| 2021-07-04 03:26 | Debug why raco cannot be found after installation | Suzanne Soy | 1 | +2 | -2 |
| 2021-07-04 03:20 | Debug why raco cannot be found after installation | Suzanne Soy | 1 | +3 | -1 |
| 2021-07-04 03:11 | Debug why raco cannot be found after installation | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-04 03:08 | Debug why raco cannot be found after installation | Suzanne Soy | 1 | +2 | -0 |
| 2021-07-04 03:04 | Give up on obtaining the home folder location within a GitHub Actions "env" (typo) | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-04 03:01 | Give up on obtaining the home folder location within a GitHub Actions "env" | Suzanne Soy | 1 | +1 | -3 |
| 2021-07-04 02:52 | Tilde expansion (typo) for GitHub Actions… | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-04 02:51 | Tilde expansion for GitHub Actions… | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-04 02:44 | Do the *very* weird ting that GitHub Actions require to add to $PATH apparently… | Suzanne Soy | 1 | +3 | -1 |
| 2021-07-04 02:38 | Do the weird ting that GitHub Actions require to add to $PATH apparently… | Suzanne Soy | 1 | +3 | -2 |
| 2021-07-04 02:31 | Attempt to fix syntax error in GitHub Actions | Suzanne Soy | 1 | +7 | -7 |
| 2021-07-04 02:29 | Attempt to fix syntax error in GitHub Actions | Suzanne Soy | 1 | +7 | -7 |
| 2021-07-04 02:27 | Attempt to fix syntax error in GitHub Actions | Suzanne Soy | 1 | +4 | -5 |
| 2021-07-04 02:25 | GitHub actions: Cleanup, do not use the very common "env" command which apparently is not available for GitHub actions… | Suzanne Soy | 1 | +38 | -17 |
| 2021-07-04 02:11 | GitHub actions: use strings for racket versions because 6.10 != 6.1 | Suzanne Soy | 1 | +1 | -1 |
| 2021-07-04 02:09 | Update apt-get package list | Suzanne Soy | 1 | +2 | -2 |
| 2021-07-04 02:08 | Update apt-get package list | Suzanne Soy | 1 | +2 | -1 |
| 2021-07-04 02:04 | First attempt at CI using GitHub actions | Suzanne Soy | 1 | +78 | -0 |
| 2021-07-03 22:22 | Attempt build on other versions of Racket | Suzanne Soy | 1 | +16 | -0 |
| 2021-04-04 06:22 | Renamed main branch | Suzanne Soy | 1 | +1 | -1 |
| 2021-03-04 21:19 | Changed my name :) | Suzanne Soy | 2 | +3 | -4 |
| 2021-03-04 21:15 | Changed my name :) | Suzanne Soy | 2 | +2 | -2 |
| 2017-08-24 20:10 | Added the detail for some derived rules. | Georges Dupéron | 7 | +130 | -58 |
| 2017-08-24 13:03 | Improved math rendering, added some subtyping rules. | Georges Dupéron | 9 | +115 | -61 |
| 2017-08-23 19:03 | Used propper subsections for the Typed Racket formalisation. | Georges Dupéron | 2 | +672 | -613 |
| 2017-08-23 04:40 | Avoid running the outdated adt-*.scrbl files with raco test. | Georges Dupéron | 8 | +0 | -0 |
| 2017-08-22 22:05 | Some changes to the row formalisation. Fixed some math layout. | Georges Dupéron | 10 | +138 | -122 |
| 2017-08-21 20:19 | Used different fonts and capitalization for ctor and record when used as an expression, value and type | Georges Dupéron | 16 | +283 | -250 |
| 2017-08-16 19:31 | [fastbuild] Wrong case in filename | Georges Dupéron | 1 | +0 | -0 |
| 2017-08-16 15:31 | Text for the ctor+record+variant+row types. | Georges Dupéron | 2 | +45 | -9 |
| 2017-08-16 15:13 | Cleanup, moved subsection. | Georges Dupéron | 3 | +11 | -6 |
| 2017-08-16 15:00 | Description for the terms of the ctor + variant + records + row extension | Georges Dupéron | 9 | +83 | -66 |
| 2017-08-16 14:12 | good | Georges Dupéron | 10 | +91 | -73 |
| 2017-08-16 10:51 | Described the conventions in the Typed Racket formalisation, used different fonts for values and expressions. | Georges Dupéron | 19 | +360 | -181 |
| 2017-08-13 10:05 | Small tweaks. | Georges Dupéron | 7 | +56 | -49 |
| 2017-08-12 22:00 | A few changes, added a paragraph describing the notations used. | Georges Dupéron | 21 | +87 | -59 |
| 2017-08-11 17:36 | Added note about the (omitted) soundness proof for Typed Racket. | Georges Dupéron | 1 | +15 | -1 |
| 2017-08-11 12:46 | Added missing rules for car and cdr | Georges Dupéron | 1 | +2 | -0 |
| 2017-08-11 12:41 | Finished operational semantics for Typed Racket. | Georges Dupéron | 5 | +189 | -36 |
| 2017-08-10 15:41 | Started on operational semantics | Georges Dupéron | 9 | +255 | -89 |
| 2017-08-09 20:10 | [fastbuild] Fixed fastbuild(?) | Georges Dupéron | 1 | +1 | -1 |
| 2017-08-09 19:47 | [fastbuild] Fixed small error when printing a message | Georges Dupéron | 1 | +1 | -2 |
| 2017-08-09 16:56 | Simplification rules for intersections | Georges Dupéron | 15 | +119 | -21 |
| 2017-08-08 13:22 | More work on the existing type rules | Georges Dupéron | 20 | +1486 | -613 |
| 2017-07-26 16:05 | Copied more stuff | Georges Dupéron | 3 | +145 | -39 |
| 2017-07-25 11:56 | Started adding: Rec ∩ symbols promises | Georges Dupéron | 2 | +110 | -45 |
| 2017-07-24 19:42 | Added some tags | Georges Dupéron | 3 | +144 | -82 |
| 2017-07-22 14:11 | Conditionally enable appendices based on the presence of the /no-appendices empty file. | Georges Dupéron | 2 | +28 | -11 |
| 2017-07-21 17:02 | Description for the grammar. | Georges Dupéron | 5 | +81 | -70 |
| 2017-07-21 01:57 | Rebuild. | Georges Dupéron | 1 | +1 | -1 |
| 2017-07-21 01:38 | Just let thie build go through [fastbuild] | Georges Dupéron | 1 | +1 | -1 |
| 2017-07-21 01:35 | Fix .travis.yml [fastbuild] | Georges Dupéron | 1 | +2 | -2 |
| 2017-07-21 01:30 | Small fix [fastbuild] | Georges Dupéron | 1 | +1 | -1 |
| 2017-07-21 00:51 | Fixed some mathjax-related problems (performance and appearance). Turned off MathJax in the pre-rendered HTML (for now). [fastbuild] | Georges Dupéron | 8 | +33 | -15 |
| 2017-07-20 09:18 | Install type-expander first, to avoid timeout on multi-id because it's compiling everything else without displaying any information. | Georges Dupéron | 1 | +1 | -0 |
| 2017-07-20 09:14 | Travis tweaks | Georges Dupéron | 1 | +6 | -3 |
| 2017-07-20 08:48 | [keepcache] [fastbuild] Fix .travis.yml ? | Georges Dupéron | 3 | +19 | -18 |
| 2017-07-20 08:34 | Fix .travis.yml ? | Georges Dupéron | 1 | +1 | -1 |
| 2017-07-20 08:16 | Fix .travis.yml | Georges Dupéron | 1 | +1 | -1 |
| 2017-07-20 08:00 | Added [keepcache] and [fastbuild] options to .travis.yml. Use my fork of scribble-lib to fix BibTeX issues and have extended support for highlighting. | Georges Dupéron | 1 | +7 | -1 |
| 2017-07-19 21:36 | Quick fix. | Georges Dupéron | 1 | +1 | -1 |
| 2017-07-19 21:30 | Finished most typing rules, managed to get a \tag{} to render nicely next to grammar cases | Georges Dupéron | 10 | +492 | -86 |
| 2017-07-18 11:20 | Generate a zip archive of the HTML and PDF versions, which can be browsed locally. | Georges Dupéron | 2 | +18 | -4 |
| 2017-07-18 10:30 | Fixed size of pre-rendered math, it is now near-identical to the fully-rendered math (± a pixel due to the differing rendering methods). | Georges Dupéron | 2 | +6 | -6 |
| 2017-07-18 07:29 | Added dependency on PGF/TikZ LaTeX package | Georges Dupéron | 1 | +2 | -1 |
| 2017-07-17 20:17 | Copied most expression, type etc. definitions from Sam Tobin-Hochstadt. Copied the subtyping rules. Started copying the typing rules. | Georges Dupéron | 9 | +540 | -60 |
| 2017-07-13 12:56 | Fixed aspect of some math. | Georges Dupéron | 4 | +61 | -26 |
| 2017-07-13 12:55 | Add support for the unofficial undocumented qalign environment for the MathJax pre-render | Georges Dupéron | 2 | +41 | -0 |
| 2017-07-13 09:13 | Avoid inserting a large div without hiding it under an `overflow: hidden` wrapper, as it could make a scrollbar pop for a short amount of time, and could affect the page-size detection of mobile browsers, as explained here: https://github.com/mathjax/MathJax-node/issues/204#issuecomment-314870681 | Georges Dupéron | 1 | +1 | -1 |
| 2017-07-12 19:31 | Reduce verbosity of logs, unless there is an error, to prevent Travis from truncating the log (and blocking or failing the build) | Georges Dupéron | 4 | +7 | -5 |
| 2017-07-12 17:48 | Improved math rendering, fixed server-side math pre-rendering. | Georges Dupéron | 4 | +46 | -45 |
| 2017-07-12 14:31 | Pre-render MathJax for speed, still do the actual render when the page is loaded to get the menus etc., better compatibility, and the benefits of noReflow: false. | Georges Dupéron | 2 | +82 | -0 |
| 2017-07-12 14:30 | Improved math rendering (reset font size as MathJax seems to have issues with font-size: 15px from scribble's stylesheet. | Georges Dupéron | 2 | +18 | -11 |
| 2017-07-11 00:58 | More on formalisation, some typography fixes. | Georges Dupéron | 10 | +329 | -162 |
| 2017-07-08 15:51 | Started on row typing | Georges Dupéron | 11 | +140 | -58 |
| 2017-07-07 20:23 | Cleanup after solving Travis problem | Georges Dupéron | 2 | +2 | -4 |
| 2017-07-07 19:53 | Trying to debug the Travis build. | Georges Dupéron | 1 | +1 | -1 |
| 2017-07-07 19:50 | Trying to debug the Travis build. | Georges Dupéron | 1 | +3 | -0 |
| 2017-07-07 19:19 | Trying to debug the Travis build. | Georges Dupéron | 1 | +1 | -1 |
| 2017-07-07 18:42 | Trying to debug the Travis build. | Georges Dupéron | 1 | +2 | -1 |
| 2017-07-07 17:56 | Trying to debug the Travis build. | Georges Dupéron | 2 | +2 | -4 |
| 2017-07-07 15:50 | Trying to debug the Travis build. | Georges Dupéron | 1 | +2 | -1 |
| 2017-07-07 15:03 | Trying to debug the Travis build. | Georges Dupéron | 2 | +2 | -2 |
| 2017-07-07 14:30 | Trying to debug the Travis build. | Georges Dupéron | 1 | +1 | -1 |
| 2017-07-07 14:00 | Trying to debug the Travis build. | Georges Dupéron | 3 | +5 | -2 |
| 2017-07-07 10:53 | Copied formalisation for row types, will make the necessary changes in the next commits. | Georges Dupéron | 9 | +437 | -0 |
| 2017-07-07 10:49 | Avoid excess output from LaTeX build | Georges Dupéron | 1 | +2 | -1 |
| 2017-07-07 00:12 | Spacing | Georges Dupéron | 1 | +1 | -1 |
| 2017-07-07 00:09 | Typo. | Georges Dupéron | 1 | +1 | -1 |
| 2017-07-06 23:49 | Fixed LaTeX issues | Georges Dupéron | 2 | +16 | -11 |
| 2017-07-06 23:09 | Mostly finished formalisation of ADTs without row polymorphism | Georges Dupéron | 12 | +544 | -214 |
| 2017-07-06 12:42 | Before talking with David on Thursday | Georges Dupéron | 5 | +211 | -32 |
| 2017-07-05 23:59 | Started writing some of the formalisation for the ADT extensions | Georges Dupéron | 5 | +410 | -270 |
| 2017-07-04 10:28 | Improved (?) formalization of polymorphic functions. I think this is still not 100% correct. | Georges Dupéron | 1 | +60 | -44 |
| 2017-07-04 10:27 | WIP polymorphic functions | Georges Dupéron | 1 | +36 | -14 |
| 2017-07-02 23:23 | WIP polymorphic functions | Georges Dupéron | 2 | +111 | -11 |
| 2017-06-29 18:26 | Fixed LaTeX | Georges Dupéron | 1 | +3 | -3 |
| 2017-06-29 18:26 | Fixed LaTeX | Georges Dupéron | 1 | +1 | -1 |
| 2017-06-29 18:14 | Started working on polymorphic functions | Georges Dupéron | 2 | +82 | -21 |
| 2017-06-28 23:13 | More work on TR's semantics | Georges Dupéron | 2 | +190 | -50 |
| 2017-06-25 18:16 | Fixed TeX code | Georges Dupéron | 1 | +18 | -18 |
| 2017-06-24 17:53 | Started formalization of the types | Georges Dupéron | 5 | +306 | -17 |
| 2017-06-22 16:48 | Maybe `make` overwrites the HTML files? The sed command seems to be completely ignored. | Georges Dupéron | 1 | +1 | -1 |
| 2017-06-22 15:46 | Forgot -0 option on xargs. | Georges Dupéron | 1 | +1 | -1 |
| 2017-06-22 14:33 | Patch the HTML file to circumvent the auto-selection of https://download.racket-lang.org/docs/6.9/html/ . | Georges Dupéron | 1 | +2 | -1 |
| 2017-06-22 13:58 | Revert "Try to redirect the main links to another completely random host." | Georges Dupéron | 1 | +1 | -1 |
| 2017-06-22 13:45 | Try to redirect the main links to another completely random host. | Georges Dupéron | 1 | +1 | -1 |
| 2017-06-22 13:44 | Auto-detect section numbers in the introduction | Georges Dupéron | 2 | +129 | -142 |
| 2017-06-22 11:32 | Try to fix the links. | Georges Dupéron | 1 | +1 | -1 |
| 2017-06-22 11:08 | Last fix for .travis.yml | Georges Dupéron | 1 | +2 | -2 |
| 2017-06-22 10:45 | Accidentally had an unnecessary WXME file. | Georges Dupéron | 1 | +604 | -7304 |
| 2017-06-22 09:05 | … | Georges Dupéron | 1 | +2 | -0 |
| 2017-06-22 08:23 | Rewrote .travis.yml | Georges Dupéron | 1 | +25 | -8 |
| 2017-06-21 17:33 | … | Georges Dupéron | 1 | +1 | -1 |
| 2017-06-21 17:27 | … | Georges Dupéron | 1 | +7 | -5 |
| 2017-06-21 17:20 | Started new .travis.yml | Georges Dupéron | 2 | +7332 | -683 |
| 2017-06-21 16:49 | Forgot -j 2 to avoid OOM. | Georges Dupéron | 1 | +2 | -2 |
| 2017-06-21 15:45 | Attempt to remove already cached installation of phc-thesis. | Georges Dupéron | 1 | +1 | -0 |
| 2017-06-21 15:31 | Now that the cache is populated, re-enable the normal build process. | Georges Dupéron | 1 | +9 | -8 |
| 2017-06-21 15:29 | Wrong order for options… | Georges Dupéron | 1 | +1 | -1 |
| 2017-06-21 15:18 | Forgot option | Georges Dupéron | 1 | +1 | -1 |
| 2017-06-21 15:13 | Just build phc-adt, to initialize the cache without a timeout | Georges Dupéron | 4 | +214 | -45 |
| 2017-06-21 15:03 | Desperate attempt: use Travis's cache to speed up builds (let's hope that Scribble won't leave a mess after updates…) | Georges Dupéron | 1 | +9 | -4 |
| 2017-06-20 10:48 | Try to also specify --redirect | Georges Dupéron | 1 | +1 | -1 |
| 2017-06-20 08:16 | Hyperlinks for datalog etc. in the HTML version | Georges Dupéron | 3 | +27 | -6 |
| 2017-06-20 08:15 | Redirect to docs.racket-lang.org without specifying a version, otherwise docs for user packages are not available. | Georges Dupéron | 1 | +1 | -1 |
| 2017-06-19 23:16 | More HTML output fixes (?) | Georges Dupéron | 1 | +4 | -3 |
| 2017-06-19 23:11 | A few more examples for types | Georges Dupéron | 1 | +99 | -29 |
| 2017-06-19 23:10 | Hopefully fixed links in the code | Georges Dupéron | 1 | +6 | -4 |
| 2017-06-19 21:20 | [ci skip] Skip build on HEAD, as it takes too long (it does not use pre-built packages I guess?) | Georges Dupéron | 1 | +1 | -1 |
| 2017-06-19 19:50 | Try to build everything, but use -j 2 instead of -j 1 | Georges Dupéron | 1 | +2 | -2 |
| 2017-06-19 19:49 | Revert "Try to deploy from the stable version, hopefully hyperlinks to my other libraries will be included." | Georges Dupéron | 1 | +2 | -2 |
| 2017-06-19 19:48 | Try to deploy from the stable version, hopefully hyperlinks to my other libraries will be included. | Georges Dupéron | 1 | +2 | -2 |
| 2017-06-19 18:18 | Print something so that Travis does not think the build hanged | Georges Dupéron | 1 | +1 | -1 |
| 2017-06-19 18:02 | Limit CPUs, give some feedback during build | Georges Dupéron | 1 | +1 | -1 |
| 2017-06-19 17:55 | Avoid building unnecessary parts of dependencies (tests and docs of other packages). | Georges Dupéron | 1 | +2 | -1 |
| 2017-06-19 17:45 | Build in parallel, depend on recent versions of scribble, to have the short-title function | Georges Dupéron | 2 | +4 | -3 |
| 2017-06-19 17:42 | Fixed most uses of \ in bibliography, prepared some sections | Georges Dupéron | 7 | +67 | -30 |
| 2017-06-16 16:53 | Started writing presentation of TR | Georges Dupéron | 9 | +510 | -29 |
| 2017-06-13 11:39 | Small fixes (thanks Oana) | Georges Dupéron | 1 | +17 | -17 |
| 2017-06-08 21:38 | Wrote the overview of the future chapters and sections. | Georges Dupéron | 5 | +378 | -24 |
| 2017-06-08 12:37 | Wrote more introduction. | Georges Dupéron | 3 | +129 | -39 |
| 2017-06-07 17:58 | Used abbreviations for PHOAS and HOAS | Georges Dupéron | 3 | +24 | -12 |
| 2017-06-07 13:00 | Moved more from refs.tex | Georges Dupéron | 3 | +310 | -186 |
| 2017-06-07 11:19 | Copied over some things from refs.tex, wrote more. | Georges Dupéron | 4 | +444 | -33 |
| 2017-06-02 14:16 | Started writing the introduction | Georges Dupéron | 4 | +186 | -2 |
| 2017-05-16 10:18 | Added dependency on typed-worklist | Georges Dupéron | 1 | +1 | -0 |
| 2017-03-29 13:22 | Attempt to avoid OOM on Travis. | Georges Dupéron | 2 | +48 | -2 |
| 2017-03-29 12:16 | Fix nesting of appendices in LaTeX | Georges Dupéron | 1 | +5 | -6 |
| 2017-03-28 22:47 | Avoid including nested tables of contents, this solves the excessive number of LaTeX writes, and removes the need for morewires.sty (which was difficult to install on Travis). | Georges Dupéron | 3 | +7 | -9 |
| 2017-03-28 21:46 | Download the morewrites.sty package, as it is not packaged for Ubuntu 12.04, and travis-ci uses that version of Ubuntu. | Georges Dupéron | 1 | +6 | -0 |
| 2017-03-27 19:43 | Remove empty template from main.rkt | Georges Dupéron | 1 | +0 | -34 |
| 2017-03-24 15:35 | Cleanup; added some appendices (Literate Programming), enlarged TeX limits as we were going beyond them with these new appendices. | Georges Dupéron | 3 | +19 | -29 |
| 2017-03-23 20:41 | Linearize the PDF, so that web browsers can load it incrementally. | Georges Dupéron | 1 | +2 | -0 |
| 2017-03-23 08:36 | Avoid OOM | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-23 02:03 | Point to phc-graph on github, as it is not published yet on pkgn | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-23 01:47 | TeX stuff, included some of the literate programming as appendices. | Georges Dupéron | 3 | +184 | -12 |
| 2017-03-22 16:05 | Re-indented scribble file. | Georges Dupéron | 1 | +335 | -335 |
| 2017-03-22 16:01 | Added note about http://docs.racket-lang.org/extensible-functions | Georges Dupéron | 1 | +6 | -1 |
| 2017-03-21 23:22 | make the openssl line easier to substitue (move the decrypted file to its destination after the command, not as part of it) | Georges Dupéron | 2 | +4 | -2 |
| 2017-03-21 22:07 | Improved a bit the front page in the PDF version, show the document version in the "version" text that scribble already inserts at the top. | Georges Dupéron | 3 | +62 | -45 |
| 2017-03-21 20:34 | Use Computer Modern (cmr), not Times (ptm) | Georges Dupéron | 1 | +7 | -1 |
| 2017-03-21 20:17 | Fix accent in bibliography (not handled well by scribble) | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-21 19:50 | Use long commit hash | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-21 19:42 | Cleanup | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-21 19:01 | Fixed checkout command | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-21 18:54 | fixed checkout command | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-21 18:49 | fixed fetch command | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-21 18:45 | Fixed regexp | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-21 18:44 | Remove timer in .travis.yml, as Travis doesn't send to github the new status until the after_success command is executed, unfortunately. | Georges Dupéron | 1 | +0 | -1 |
| 2017-03-21 18:39 | Allow empty commit on auto-push branch | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-21 18:21 | Attempt to auto-push to master | Georges Dupéron | 1 | +15 | -9 |
| 2017-03-21 17:30 | Try to auto-push to master | Georges Dupéron | 3 | +5 | -5 |
| 2017-03-21 17:23 | Try to auto-push to master | Georges Dupéron | 2 | +4 | -1 |
| 2017-03-21 17:12 | Attempt to auto-push to master when the dev build succeeds | Georges Dupéron | 2 | +43 | -0 |
| 2017-03-21 17:05 | Filled in badges in the README | Georges Dupéron | 1 | +8 | -1 |
| 2017-03-21 16:43 | Auto-generate document version from git commit. | Georges Dupéron | 1 | +56 | -2 |
| 2017-03-21 01:12 | Hyperlink to the PDF version | Georges Dupéron | 1 | +2 | -0 |
| 2017-03-21 00:59 | Fixed push URL for deployment | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-21 00:58 | Fixed push URL for deployment | Georges Dupéron | 1 | +1 | -2 |
| 2017-03-21 00:56 | Try to find the source of the push failure. | Georges Dupéron | 1 | +1 | -0 |
| 2017-03-21 00:55 | Try to find the source of the push failure. | Georges Dupéron | 1 | +2 | -1 |
| 2017-03-21 00:49 | Deploy the docs as part of the script: step, so that errors are caught (the deploy script is conditional, and won't fail on forks, PRs or non-master branches). | Georges Dupéron | 1 | +1 | -3 |
| 2017-03-21 00:44 | Fix script | Georges Dupéron | 1 | +1 | -0 |
| 2017-03-21 00:36 | Fix script | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-20 19:14 | Fix script | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-20 19:13 | Fix script | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-20 19:07 | Fix script | Georges Dupéron | 1 | +6 | -2 |
| 2017-03-20 19:02 | Fixed script | Georges Dupéron | 1 | +1 | -0 |
| 2017-03-20 19:00 | Fixed script | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-20 18:57 | Deploy only once per build | Georges Dupéron | 1 | +2 | -2 |
| 2017-03-20 18:50 | Fixed script. | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-20 18:37 | Fixed deploy script, new key due to compromising | Georges Dupéron | 2 | +3 | -2 |
| 2017-03-20 17:59 | Fixed issues with deploy script | Georges Dupéron | 1 | +4 | -2 |
| 2017-03-20 17:17 | Fixed auto-deploy script | Georges Dupéron | 1 | +1 | -1 |
| 2017-03-20 17:16 | Download newunicodechar.sty on the fly | Georges Dupéron | 1 | +7 | -0 |
| 2017-03-20 17:05 | Fixed small error in the auto-push script. | Georges Dupéron | 1 | +4 | -2 |
| 2017-03-20 16:55 | Added dependency on LaTeX packages | Georges Dupéron | 1 | +10 | -0 |
| 2017-03-20 16:49 | Renamed the package thesis → phc-thesis (part 2: file rename) | Georges Dupéron | 1 | +0 | -0 |
| 2017-03-20 16:46 | Renamed the package thesis → phc-thesis | Georges Dupéron | 4 | +7 | -7 |
| 2017-03-20 15:08 | Initial commit. | Georges Dupéron | 15 | +1563 | -0 |
