messages from 2016-07-17 05:50:04 to 2016-10-04 15:22:37 UTC [more...]
[PATCH 0/3] Margin lengths and microtype tweaks
2016-10-04 15:22 UTC (2+ messages)
` [PATCH 1/3] Rewrite custom margins for hardcover
[PATCH] count: Enclose 'REQACK' in \mbox{}
2016-09-30 0:15 UTC (2+ messages)
[PATCH v3 01/17] formal: Rearrange promela sample code location
2016-09-27 23:19 UTC (18+ messages)
` [PATCH v3 02/17] formal/spinhint: Add missing NBSPs
` [PATCH v3 03/17] formal/spinhint: Fix typos
` [PATCH v3 04/17] formal/spinhint: Use \path{} for file name quotation
` [PATCH v3 05/17] formal/spinhint: Use \co{} for variable quotation consistently
` [PATCH v3 06/17] formal/spinhint: Reference figure
` [PATCH v3 07/17] formal/dyntickrcu: Add missing NBSPs
` [PATCH v3 08/17] formal/dyntickrcu: Append `()` to function name quotations
` [PATCH v3 09/17] formal/dyntickrcu: Fix typos
` [PATCH v3 10/17] formal/dyntickrcu: Fix wrong line number quotation
` [PATCH v3 11/17] formal/dyntickrcu: Fix wrong function name quotation
` [PATCH v3 12/17] formal/ppcmem: Fix typo for \co{}
` [PATCH v3 13/17] formal/ppcmem: Use \co{} for instruction quotation
` [PATCH v3 14/17] formal/ppcmem: Use P0 instead of thread 1
` [PATCH v3 15/17] formal/ppcmem: Substitute `paper` with `chapter`
` [PATCH v3 16/17] formal/ppcmem: Polish a sentence by removing unnecessary conjunction
` [PATCH v3 17/17] formal/dyntickrcu: Adjust font size of sample code
[PATCH] rt: Add reference to 'CPU Isolation' Figure
2016-09-27 22:25 UTC (2+ messages)
[PATCH 00/17] Fixup `Formal Verification` chapter
2016-09-27 21:54 UTC (26+ messages)
` [PATCH 01/17] formal: Rearrange promela sample code location
` [PATCH 02/17] formal/spinhint: Add missing NBSPs
` [PATCH 03/17] formal/spinhint: Fix typos
` [PATCH 04/17] formal/spinhint: Use \path{} for file name quotation
` [PATCH 05/17] formal/spinhint: Use \co{} for variable quotation consistently
` [PATCH 06/17] formal/spinhint: Reference figure
` [PATCH 07/17] formal/dyntickrcu: Add missing NBSPs
` [PATCH 08/17] formal/dyntickrcu: Append `()` to function name quotations
` [PATCH 09/17] formal/dyntickrcu: Fix typos
` [PATCH v2] "
` [PATCH 10/17] formal/dyntickrcu: Fix wrong line number quotation
` [PATCH 11/17] formal/dyntickrcu: Fix wrong function name quotation
` [PATCH 12/17] formal/ppcmem: Fix typo for \co{}
` [PATCH 13/17] formal/ppcmem: Use \co{} for instruction quotation
` [PATCH 14/17] formal/ppcmem: Use P0 instead of thread 1
` [PATCH 15/17] formal/ppcmem: Substitute `paper` with `chapter`
` [PATCH 16/17] formal/ppcmem: Polish a sentence by removing unnecessary conjunction
` [PATCH 17/17] formal/dyntickrcu: Shorten too long code line length
` [PATCH v2] formal/dyntickrcu: Adjust font size of sample code
[RFC PATH 0/6] Indent tweaks after chapter title and epigraph
2016-09-19 23:01 UTC (8+ messages)
` [RFC PATH 1/6] Update book.cls
` [RFC PATH 2/6] book.cls: Fix indent after \chapter in twocolumn
` [RFC PATH 3/6] Makefile: Add localized 'book.cls' to dependency
` [RFC PATH 4/6] epigraph: Use \epigraphhead{}
` [RFC PATH 5/6] epigraph: Increase width a little
` [RFC PATH 6/6] Tweak page layout of onecolumn
[PATCH 0/2] Add rules in hyphen2endash.sh
2016-09-18 17:44 UTC (4+ messages)
` [PATCH 1/2] hyphen2endash.sh: Add substitution patterns
` [PATCH 2/2] hyphen2endash.sh: Merge subst patterns
[GIT PULL] treewide: Enclose 'verbbox' within 'figure'
2016-09-13 15:52 UTC (2+ messages)
[PATCH] Add scripts to check 'verbbox' env usage
2016-09-13 15:16 UTC (8+ messages)
` [PATCH v2] "
[PATCH] TRIAL: Indentation tweaks around 'verbbox' environment
2016-09-12 15:05 UTC (9+ messages)
` [RFC PATCH] toyrcu: Enclose 'verbbox' within 'figure'
[PATCH v2] treewide: Add \noindent where necessary
2016-09-06 14:09 UTC (5+ messages)
[PATCH] treewide: Add \noindent where necessary
2016-09-04 15:04 UTC (4+ messages)
[PATCH] toolsoftrade: Typo fix
2016-09-04 9:56 UTC (2+ messages)
[PATCH] advsync: Additional use of em dash
2016-09-03 15:24 UTC
[PATCH] More hyphenation of long compound word
2016-09-03 15:21 UTC
[PATCH 0/3] Typo fixes
2016-08-25 12:22 UTC (5+ messages)
` [PATCH 1/3] treewide: Use nbsp after 'Lines' and 'lines'
` [PATCH 2/3] appendix/rcuimpl: Adjust plurality of verb
` [PATCH 3/3] locking: Typo fixes
[PATCH 0/2] debugging: Trivial fixups
2016-08-23 0:59 UTC (5+ messages)
` [PATCH 1/2] debugging: Add missing tilde
` [PATCH 2/2] debugging: Fix contextual typos
[PATCH] Makefile: Remove empty target 'extraction'
2016-08-16 14:18 UTC (2+ messages)
[PATCH 1/2] Makefile: Check availability of `a2ping` and `inkscape`
2016-08-16 2:46 UTC (3+ messages)
` [PATCH 2/2] FAQ-BUILD: Add package requirements for Fedora 24
[PATCH] Some more hyphenation of compound words
2016-08-14 2:35 UTC (2+ messages)
[RFT GIT PULL] Makefile: Add ".fig -> .eps" rule
2016-08-14 2:16 UTC (9+ messages)
` [RFT GIT PULL v2] "
[RFC PATCH 0/3] Trial of replacing hyphens with en-dashes
2016-08-14 2:36 UTC (5+ messages)
` [RFC PATCH 1/3] Trial of replacing hyphens with en-dashes for number
` [RFC PATCH 2/3] dohyphen2endash.sh: Add check of git status
` [RFC PATCH 3/3] dohyphen2endash.sh: Use mktemp to create temp file
[PATCH] toolsoftrade: minor grammar correction
2016-08-10 22:48 UTC (2+ messages)
[PATCH 0/5] Several cosmetic fixes
2016-08-10 22:42 UTC (10+ messages)
` [PATCH 1/5] Trial use of extdash package with shortcuts option
` [PATCH 2/5] formal/ppcmem: Avoid break-line after 'lines' in source
` [PATCH 3/5] Add \nbco{} command for code snippet without line break
` [PATCH 4/5] Use \ldots for ellipsis
` [PATCH 5/5] Trial of marking up numbers in text
` [PATCH v2 0/1] Trial of replacing hyphens with minus signs
` [PATCH v2 1/1] Trial of replacing hyphens of negative values with minus
[GIT PULL] SMPdesign: Use subscript in lockdeqhash figures
2016-08-08 16:42 UTC (6+ messages)
Memory barrier -- fix sample code
2016-08-08 4:58 UTC (5+ messages)
[PATCH 0/3] Polish rcutorture.h
2016-08-07 18:25 UTC (5+ messages)
` [PATCH 1/3] rcutorture: Update usage
` [PATCH 2/3] rcutorture: Remove redundant n_read_pt initialization
` [PATCH 3/3] rcutorture: Protect fake workload from compiler optimization
[PATCH] datastruct: Fix code citation typos
2016-08-01 3:19 UTC (2+ messages)
Release v2016.07.31a is now available
2016-07-31 21:05 UTC
Some more feedback on Chapter 9
2016-07-28 22:21 UTC (6+ messages)
[PATCH] Tweak width of epigraph for two-column layout
2016-07-27 18:49 UTC (5+ messages)
` [PATCH v2] Tweak width of epigraph
[PATCH] Use unspaced em dashes consistently
2016-07-26 15:15 UTC (2+ messages)
[PATCH] Use UK style punctuation order
2016-07-25 16:18 UTC (2+ messages)
Feedback on Chapter 9
2016-07-25 0:36 UTC (3+ messages)
[PATCH] defer/rcuapi: Merge Tables 9.3 and 9.4
2016-07-25 0:06 UTC (2+ messages)
[PATCH] defer: Trivial typo fixes
2016-07-25 0:01 UTC (3+ messages)
[PATCH] formal: Trivial typo fixes
2016-07-19 15:17 UTC (4+ messages)
[PATCH] howto: Update explanation of cross-link between QQs and QQAs
2016-07-19 13:11 UTC (2+ messages)
[PATCH] qqz: Add another hyperlink to black box in QQA
2016-07-18 22:42 UTC (13+ messages)
` [PATCH] qqz: Modify back link target at end of QQA to the end of QQ
` [PATCH] qqz: Modify back link target at end of QQA to just after "
[PATCH 0/4] Fixup trivial nitpicks under defer/
2016-07-17 21:57 UTC (7+ messages)
` [PATCH 3/4] defer/whichtochoose: Trim a sentence
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox