Talk:Twelf Live

From The Twelf Project

[edit] Sandboxing

Maybe we should suggest check="decl" for sandboxing so that people can actually see their code without linking - if you're sandboxing, you're going to put everything in one box anyway. Yes, I made up the word sandboxing. — Rob (and his talk) 01:07, 12 October 2006 (EDT)

[edit] Front page

And I'm not sure we should promote this off the front page - it's kind of an inconvienent way to try twelf unless you happen to be a MediaWiki hacker. — Rob (and his talk) 01:20, 12 October 2006 (EDT)

[edit] Broken?

I was really looking forward to this, great idea for giving people a chance to try twelf, but it seems to be broken.

Fixed (sort of, for the moment) — Rob (and his talk) 11:41, 9 September 2010 (EDT)

Thanks a lot! excellent. 134.157.168.250 12:51, 9 September 2010 (EDT)

I think one of my queries brought it down.