3 Commits

Author	SHA1	Message	Date
Georges Dupéron	d949cf9606	Added #%top-interaction (not the right one, though)	2016-06-23 21:42:57 +02:00
Georges Dupéron	b9037c3c06	Fixes lots of issues. Fixes scribble bug #25 (last commit didn't fix it in the end). Fixes arrows in DrRacket. Fixes some identifier conflicts.	2016-06-23 21:11:17 +02:00
Georges Dupéron	dbebe7b60a	Moved hyper-literate/typed to hyper-literate, as it is now parameterizable.	2016-06-17 20:27:53 +02:00