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

New Pull Request

Open

Fix broken link for pygments-css in mini tutorial

#115 by otherjoel was merged

1

Some fixes to Docs - Quick Tour

#112 by jonboiser was merged

1

More helpful message for unknown commands

#111 by basus was merged

1

Apparently DrRacket is needed as a dep.

#110 by LeifAndersen was merged

1

Add gui-lib as a dependency.

#105 by LeifAndersen was merged

1

Add missing build-dep

#102 by AlexKnauth was merged

1

Add missing dependencies.

#58 by samth was merged

1

adding void to to-string

#29 by j3parker was merged

1

track render by source+output jobs

#240 by mbutterick was merged

dev-poly-fix-201114

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

#238 by mbutterick was merged

dev-output-files-201008

downgrade certain setup values to constants & bump to 3.0

#225 by mbutterick was merged

use FASL for caching

#221 by mbutterick was merged

Rearrange lexical scoping (fixes #202)

#204 by mbutterick was merged

Candidate v2.0

#194 by mbutterick was merged

Fix typos in the documentation

#186 by sorawee was merged

Update dead link

#175 by leafac was merged

tidier patch

#170 by mbutterick was merged

Simplify doclang

#169 by mbutterick was merged

simplify-doclang

Add string-constants-lib to deps list.

#155 by LeifAndersen was merged

Refactory

#150 by mbutterick was merged

1 2 3 4