about summary refs log tree commit diff stats
path: root/html/console.mu.html
Commit message (Collapse)AuthorAgeFilesLines
* 3569Kartik K. Agaram2016-10-231-2/+2
| | | | Update syntax highlighting to not color numeric locations like literals.
* 3491Kartik K. Agaram2016-10-091-1/+1
| | | | | Update the html, proving that commit 3490 worked. The only changes are from other recent commits.
* 3431Kartik K. Agaram2016-09-301-2/+2
| | | | | Improvements to syntax highlighting, particularly for Mu code in C++ files.
* 2812Kartik K. Agaram2016-03-271-9/+18
|
* 2745Kartik K. Agaram2016-03-091-1/+1
|
* 2744Kartik K. Agaram2016-03-091-2/+2
| | | | Tweak colors and font-sizes in generated html.
* 2743Kartik K. Agaram2016-03-091-18/+9
| | | | | Looks like "TOhtml | <other command>" doesn't work on Mac OS X for some reason..
* 2706 - update htmlKartik K. Agaram2016-02-251-2/+3
|
* 2423 - describe shape-shifting in html docsKartik K. Agaram2015-11-101-1/+1
|
* 2177Kartik K. Agaram2015-09-071-9/+12
|
* 2175Kartik K. Agaram2015-09-061-12/+10
|
* 2062Kartik K. Agaram2015-08-231-2/+2
|
* 1925Kartik K. Agaram2015-08-031-1/+1
|
* 1885Kartik K. Agaram2015-07-291-3/+3
|
* 1853Kartik K. Agaram2015-07-251-1/+1
|
* 1778Kartik K. Agaram2015-07-131-1/+1
|
* 1631 - update html versionsKartik K. Agaram2015-06-231-0/+50
Html is a little more readable thanks to feedback from J David Eisenberg (https://news.ycombinator.com/item?id=9766330), in particular the suggestion to use https://addons.mozilla.org/En-us/firefox/addon/wcag-contrast-checker.
'author James Booth <boothj5@gmail.com> 2015-10-25 22:32:46 +0000 committer James Booth <boothj5@gmail.com> 2015-10-25 22:32:46 +0000 Applied coding style to src/event/' href='/danisanti/profani-tty/commit/src/event/server_events.h?id=afbd2693cd966525b1a0625540b208a33d44b40e'>afbd2693 ^
8aba52f4 ^
efbf233c ^
8aba52f4 ^
8ebc1d4a ^
afbd2693 ^











f831f657 ^

afbd2693 ^








8aba52f4 ^
4ad69042 ^
9302188a ^
afbd2693 ^
47a1a620 ^
74151e64 ^
87cdbe01 ^
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93