Talk:Twelf Live

From The Twelf Project
Jump to: navigation, search

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)

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)

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.

Don't do that! — Rob (and his talk) 17:08, 18 June 2012 (EDT)