Pull Requests - pollen - Gitea: Git with a cup of tea

New Pull Request

Open

Candidate v2.0

#194 by mbutterick was merged

Fix gitignore paths

#196 by sorawee was merged

1

Fix typo "backlash"

#199 by Singletoned was merged

1

Remove extra word

#200 by timcondit was merged

1

Add racket and raco to the Windows 10 path

#201 by passthejoe was closed

1

Rearrange lexical scoping (fixes #202)

#204 by mbutterick was merged

fix the problem of fail to render non-html output format in project s…

#212 by shen390s was closed

2

Small update to documentation

#218 by bnbeckwith was merged

1

use FASL for caching

#221 by mbutterick was merged

downgrade certain setup values to constants & bump to 3.0

#225 by mbutterick was merged

Small edits

#226 by otherjoel was merged

1

More robust interface to Pygments

#230 by basus was merged

12

Add LaTeX environments for custom Scribble tags (fixes #231)

#232 by otherjoel was merged

scribble-fix-latex

1

track ouput paths separately in batch render (fixes #236)

#238 by mbutterick was merged

dev-output-files-201008

track render by source+output jobs

#240 by mbutterick was merged

dev-poly-fix-201114

improve failure handling in `start' command

#242 by Bogdanp was merged

1

build: add GH Actions CI

#243 by Bogdanp was merged

5

start command: fix default value for port

#244 by Bogdanp was merged

1

CI: build using Racket 6.6 and up, drop Travis CI config

#245 by Bogdanp was merged

1

CONTRIBUTING.md: Google groups → Pollen users repo

#247 by otherjoel was merged

1

1 2 3 4