hmemcpy/milewski-ctfp-pdf
1
1
Fork 0
mirror of https://github.com/hmemcpy/milewski-ctfp-pdf.git synced 2024-11-26 12:44:57 +03:00
Code Issues Projects Releases Wiki Activity
215 Commits 2 Branches 52 Tags 107 MiB
231e8ee0e3
Commit Graph

215 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ulf Nilsson
231e8ee0e3 Add missing space (#166) 2018-12-19 20:02:39 +02:00
Igal Tabachnik
20d16cf50e Renaming content 2018-12-09 22:14:39 +02:00
Igal Tabachnik
3360de67a5 Renaming to hyphens 2018-12-09 22:14:15 +02:00
Igal Tabachnik
a01092b113 Renaming to lowercase/without spaces 2018-12-09 21:39:52 +02:00
Ross Kirsling
cbcd92807e Final corrections (#162) 
* Wow. Such corrections. 🐶

* Other corrections for Chapter 30.

* Update errata.
 2018-11-15 21:38:12 +02:00
Ross Kirsling
f9fd861fc9 Fix spelling and subscript spacing in various chapters. (#160) 
* Fix various spelling errors.

* Remove unnecessary spaces from natural transformation subscripts.

* Update errata.
 2018-11-08 21:19:09 +02:00
Igal Tabachnik
398ad8f2c4
Update errata.md 2018-11-07 09:00:48 +02:00
Igal Tabachnik
80dec509e0
Adding Ross Kirsling to contributors 2018-11-07 08:55:00 +02:00
Ross Kirsling
526d956b9a Fix typesetting issues in Chapters 25 and 26. (#159) 
* Fix typesetting issues in Chapter 25.
* Fix typesetting issue in Chapter 26.
 2018-11-07 08:54:12 +02:00
Igal Tabachnik
463582f985
Update errata.md 2018-10-31 22:02:11 +02:00
Ross Kirsling
8882fd1c17 Fix typos in Chapters 23 and 25. (#158) 
* Fix typesetting issue in Chapter 23.

* Fix typesetting issue in Chapter 25.
 2018-10-31 16:07:32 +02:00
Igal Tabachnik
62dd4608b1 Making some variables consistent 2018-10-28 08:33:13 +02:00
Igal Tabachnik
0a7ee00aa2
Update README.md 2018-10-27 22:54:42 +03:00
Igal Tabachnik
8c8978627a adding errata link to readme 2018-10-27 15:46:43 +03:00
Igal Tabachnik
8c819c5257 Tweaking version label position 2018-10-27 15:20:18 +03:00
Igal Tabachnik
d00295666e
Update Products and Coproducts.tex 2018-10-25 20:57:51 +03:00
Igal Tabachnik
c48cccef72
Update errata.md 2018-10-25 08:53:45 +03:00
EFanZh
5599281004 Add indent to a paragraph (#157) 2018-10-25 08:52:24 +03:00
Igal Tabachnik
afcf0df2b0
Adding errata 2018-10-24 07:22:13 +03:00
Ross Kirsling
3b1a297c4d Fix typo in Chapter 19. (#156) 2018-10-23 20:57:48 +03:00
performance
9082e51bd9 grammar (#155) 
we should be followed by a plural
 2018-10-23 09:29:03 +03:00
Igal Tabachnik
a16937caf7
Adding purchase link 2018-10-21 22:39:22 +03:00
Igal Tabachnik
41e0fc34fc Tweaking cover for final print 2018-10-21 21:48:25 +03:00
EFanZh
aeb31cca92 Use monospaced font for codes (#154) 2018-10-18 14:58:43 +03:00
EFanZh
0326f3c518 Add a period (#153) 2018-10-18 08:17:46 +03:00
Igal Tabachnik
d64ea907fc Fixing cover image 2018-10-17 07:35:33 +03:00
Ross Kirsling
c6e6a301df Fix typo in Chapter 14. (#152) 2018-10-11 14:02:25 +03:00
Igal Tabachnik
fca9b23874 Bumping version number 2018-10-09 09:09:11 +03:00
Igal Tabachnik
50ec4031b1 Making sure no page break before longtable 2018-10-07 19:07:19 +03:00
Igal Tabachnik
0093bab7e6 Fixing incorrect label + linebreaks 2018-10-07 14:42:48 +03:00
Igal Tabachnik
a8d7f5aa5c Tweaking how version is rendered 2018-10-07 11:35:18 +03:00
Igal Tabachnik
b966d08db7 Tweaking cover image 2018-10-07 10:52:43 +03:00
Igal Tabachnik
d3ddb331dc
Texlive 2018 support (#150) 
* Support building on TexLive 2018
* Adding missing packages
 2018-10-02 23:15:42 +03:00
Igal Tabachnik
2a4b681cf5
Code snippets refactoring (#148) 
* Tweaking relative paths + spaces in filenames
* Extracting code snippets to external files
* Adding a missing package to nix script
 2018-10-01 00:03:52 +03:00
Igal Tabachnik
2d058ce702 Adding missing label 2018-09-29 22:20:04 +03:00
Igal Tabachnik
eea0951166 Adding spaces to functions 2018-09-29 22:18:07 +03:00
Igal Tabachnik
3ce4aef41c Adding spaces to functions 2018-09-26 22:41:35 +03:00
Igal Tabachnik
c5152b706a
Update Simple Algebraic Data Types.tex 
Adding missing keyword
 2018-09-26 22:22:08 +03:00
Igal Tabachnik
ce442df2b7
Delete frontpage.tex 2018-09-20 15:20:33 +03:00
Igal Tabachnik
69e41a1635
Update README.md 2018-09-20 11:06:25 +03:00
Igal Tabachnik
558b7eea93 Retiring old coverpage. 
Fixes #145
 2018-09-20 09:56:41 +03:00
Igal Tabachnik
3899ac636e Updating readme 2018-09-17 12:10:08 +03:00
Igal Tabachnik
cf7e20a89a Tweaking final page count and margins 2018-09-17 11:25:18 +03:00
Zelenya
9f1e4dfe67 get rid of bg, last part? (#143) 2018-09-16 22:11:59 +03:00
Igal Tabachnik
4af131235b Cover for blurb.com 2018-09-16 13:46:42 +03:00
Igal Tabachnik
f3cd1b111b Tweaking print version page size 2018-09-15 21:56:34 +03:00
Igal Tabachnik
33f8219ebc
Adding thanks! 2018-09-14 00:14:40 +03:00
Igal Tabachnik
bb51c39a79 Fixing print page count 2018-09-14 00:12:06 +03:00
Zelenya
3a30abaf3f [WIP] Remove bg from the pictures (#139) 
* get rid of bg, part 1

* get rid of bg, part 2

* get rid of bg, part 3
 2018-09-12 22:30:34 +03:00
Igal Tabachnik
690c5404b6
Refactoring, adding print version (#142) 
* Adding two separate settings for printing in US-trade (6x9 book) and 10” reader

* Printing version information

* Tweaking images in print layout

* Housekeeping

* Tweaking cover (based on the HoTT book)
 2018-09-11 21:20:40 +03:00