about summary refs log tree commit diff stats
path: root/html
Commit message (Collapse)AuthorAgeFilesLines
* 3805Kartik K. Agaram2017-03-201-204/+246
|
* 3804Kartik K. Agaram2017-03-201-2/+2
| | | | Drop the inaccurate cross-links to 'truncate' everywhere.
* 3803Kartik K. Agaram2017-03-203-223/+222
|
* 3802 - more accurate sandbox resultsKartik K. Agaram2017-03-202-480/+501
| | | | Thanks Lakshman Swaminathan for reporting this issue.
* 3801Kartik K. Agaram2017-03-201-5/+5
|
* 3800Kartik K. Agaram2017-03-181-449/+469
|
* 3799Kartik K. Agaram2017-03-182-3/+3
|
* 3798 - trace-browser: make search like in viKartik K. Agaram2017-03-151-439/+460
|
* 3797Kartik K. Agaram2017-03-1510-740/+738
|
* 3796Kartik K. Agaram2017-03-143-874/+893
| | | | | | Standardize the order of some common blocks in `render`, `render-text` and `render-code`. This is preparation for trying to reorganize them to reduce duplicate code.
* 3794Kartik K. Agaram2017-03-141-2/+2
| | | | Fix a _very_ misleading comment.
* 3793Kartik K. Agaram2017-03-144-910/+910
| | | | | | Move 'render-code' to the layer where it's used. Thanks Caleb Couch for finding this bit of ugliness.
* 3792Kartik K. Agaram2017-03-121-267/+292
| | | | | | | Bugfix: make sure 'print 0, 0' always does the right thing, no matter how it's overloaded. Thanks Ella Couch for reporting this.
* 3791Kartik K. Agaram2017-03-122-1419/+1381
| | | | Simpler way to do commit 2929.
* 3790Kartik K. Agaram2017-03-127-1040/+1043
| | | | Don't try to snapshot in scenarios.
* 3789Kartik K. Agaram2017-03-127-1045/+1047
| | | | | | | | | | | | | I accidentally got rid of git snapshotting of lessons back when I switched to testable file primitives last December (commit 3705). >:-( Bringing it back now, hopefully better. The improvement is that there's now at most one commit every time we hit F4. This change adds yet another reason that running `mu` from a different directory is just not supported.
* 3788Kartik K. Agaram2017-03-122-796/+805
|
* 3787Kartik K. Agaram2017-03-121-6/+6
|
* 3785Kartik K. Agaram2017-03-101-104/+106
| | | | Don't show empty hidden counts in the trace-browser.
* 3784Kartik K. Agaram2017-03-101-317/+487
|
* 3771Kartik K. Agaram2017-03-081-1/+1
|
* 3770Kartik K. Agaram2017-03-081-194/+199
|
* 3769Kartik K. Agaram2017-03-081-272/+280
|
* 3768 - trace browser: scrolling horizontallyKartik K. Agaram2017-03-081-263/+273
|
* 3767Kartik K. Agaram2017-03-081-251/+257
|
* 3766Kartik K. Agaram2017-03-081-6/+6
|
* 3765Kartik K. Agaram2017-03-081-4/+4
|
* 3764 - better colors for cross-linksKartik K. Agaram2017-03-08119-424/+542
|
* 3763Kartik K. Agaram2017-03-071-252/+251
|
* 3761Kartik K. Agaram2017-03-07115-11309/+11541
|
* 3759 - make current line more salientKartik K. Agaram2017-03-061-37/+36
|
* 3758Kartik K. Agaram2017-03-061-204/+205
|
* 3757 - more permissive trace browser UIKartik K. Agaram2017-03-061-175/+181
|
* 3756 - start of some improvements to the trace browserKartik K. Agaram2017-03-052-248/+287
|
* 3755Kartik K. Agaram2017-03-052-30/+53
|
* 3752 - fix a couple of segfaultsKartik K. Agaram2017-03-023-357/+376
| | | | Thanks Ella Couch for running into these.
* 3751Kartik K. Agaram2017-03-024-6/+6
| | | | Some hacky manual fixes to auto-generated html.
* 3750Kartik K. Agaram2017-03-0264-1317/+1309
|
* 3749Kartik K. Agaram2017-03-0264-1352/+1350
|
* 3748Kartik K. Agaram2017-02-281-1/+1
|
* 3747Kartik K. Agaram2017-02-072-6/+6
|
* 3746Kartik K. Agaram2017-02-0738-2536/+2570
|
* 3737Kartik K. Agaram2017-01-224-43/+42
|
* 3734Kartik K. Agaram2017-01-119-15/+15
|
* 3732Kartik K. Agaram2017-01-1114-1024/+1033
|
* 3727Kartik K. Agaram2016-12-311-0/+1
|
* 3725Kartik K. Agaram2016-12-2732-1611/+1650
| | | | | | More improvements to cross-linking example programs. Include their own functions as well in the tags for each program, even as you share the core .mu files everywhere.
* 3719 - cross-link Mu waypoints to their locationKartik K. Agaram2016-12-2713-103/+103
|
* 3716Kartik K. Agaram2016-12-26118-0/+236
| | | | Make hyperlinks less salient in the rendered html since there's so many of them.
* 3715Kartik K. Agaram2016-12-2612-1262/+1262
| | | | | | | | Fix cross-links in html for the edit/ app. I originally thought I'd need to provide a commandline flag like --rel-path or something. But we need to support different relative paths in a single html file. So the solution instead is appropriately engineering the tags file.
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-08-16 08:54:55 +0000