The Sandbox web is the sandbox you can use for testing. Everybody is welcome to add or delete some stuff. It is recommended to walk through the TWikiTutorial to get a jumpstart on the TWiki tool. A good rule of thumb is to add at the end of the page and sign and date it with your WikiName.
Before and after fix, left % nop \ \textgreater\ % right% nop BR%test text correctly produced: left %\ \textgreater\ % righttest text Before fix, left % nop ... 05 Nov 2009 - 02:18 - TWikiGuest
Full Schemas and Categoricity FullSchemasandCategoricityHandout Thanks Thanks for inviting me. Full Schemas and Categoricity What I intend to do today is introduce ... 05 Nov 2009 - 02:10 - TWikiGuest
$ Reflexivity of %$ $%: %$\Gamma\vdash t t$%, where %$t$% is a constant symbol or a variable. $ Transitivity of %$ $%: %\Gamma , r s,s t\vdash r t$%, where %$r ... 05 Nov 2009 - 02:10 - TWikiGuest
$ Reflexivity of %$ $%: %$\Gamma\vdash t t$%, where %$t$% is a constant symbol or a variable. $ Transitivity of %$ $%: %\Gamma , r s,s t\vdash r t$%, where %$r ... 05 Nov 2009 - 02:10 - TWikiGuest
$ Reflexivity of %$ $%: %$\Gamma\vdash t t$%, where %$t$% is a constant symbol or a variable. $ Transitivity of %$ $%: %$\Gamma , r s,s t\vdash r t$%, where %$r ... 05 Nov 2009 - 02:09 - TWikiGuest
A more extensive changes list is available via Recent Changes.