Name Last modified Size Description
Parent Directory - didactic.dtx 2024-04-08 21:14 42K didactic.ins 2024-04-07 07:18 2.1K didactic.pdf 2024-04-08 21:15 262K hello.py 2024-03-22 18:47 119 idea.tex 2024-03-22 18:47 200 LICENSE 2024-03-22 18:47 19K lightblock.tex 2024-03-22 18:47 70 Makefile 2024-04-07 07:14 1.0K ProvideSemanticEnv.tex 2024-03-25 09:56 284 README.md 2024-04-08 16:42 1.5K