User talk:Prime.mover

Sup dude
Do you even sleep? you've been going non-stop since you first joined. of course i appreciate the work (I haven't even been able to keep up with reading it all), but you're making the rest of us look lazy. Regardless, excellent work, and with that, I think I will bring a Wikipedia tradition to ProofWiki: Barnstars. See | the wikipdia page on barnstars for more details and other barnstar designs.

Hey, when you create a page, or link to a page, be sure to keep in mind their namespace.

eg: Say you wanted to link to definition of graph, then you would write

graph, this sill put a link to the Definition namespace. Also, be sure to include the category, at the bottom of the page, just put the category in the category box, eg. Definitions or eg.Axioms. If you are linking to a category, you must put a : in front, for instance

Category:Definitions For creating a page you must do the same thing, having the namespace in front.

This is so we can differentiate between proofs and definitions. Thanks,--Joe 18:28, 23 July 2008 (UTC)

Using an external editor
Hey, I just found out and tested that you can use an external editor to edit pages. It works great. I tried so far using GVim using the "It's All Text" plug-in for Firefox. All you have to do is install the plug-in and then tell it where your editor is. Here are the two sites I used to help me set it up. I did this in Linux but I'm sure it'll work fine in Windows! Hope this helps --Joe


 * http://en.wikipedia.org/wiki/Help:External_editors
 * http://en.wikipedia.org/wiki/Wikipedia:Syntax_highlighting#External_editor_feature

Thanx dude - I'll check this out ... --Matt Westwood 06:20, 11 August 2008 (UTC)