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)

Namespaces
Hey, I'm just thinking, maybe it would be better if we kept the Definition namespace. Since there are a lot of definitions out there, maybe it would be better to keep them separate from all the proofs. In terms of adding them to the proper category, I'm working on a bot that can check and fix this automatically. I'm thinking it's best to try and keep the proofs(which is the main focus of the site) separate from the definitions. I know it might be a pain, but I think it's better then having them mixed in with the namspace for proofs. Mixing them I think causes more problems then it will fix.


 * When you search for a proof, you won't just get proofs, you also get definitons and axioms.
 * It messes up the page count as we talked about earlier
 * It will confuse people, probably won't be sure what is a proof, what is a definition...

I should be able to get a bot working that can automatically check things to make sure definitions are in the correct category, what does everyone think? --Joe 23:50, 16 September 2008 (UTC)

New LaTeX
Hey, Have you tried the new LaTeX stuff? Is it working good? --Joe 22:35, 20 September 2008 (UTC)

Confess I haven't yet. I need to check out the "stackrel" function at least so I can define a symbol for defining entities:

$$\mathbf {Define:} \ fred \ \stackrel {\mathbf {def}} {==} \ bert$$

Yay! That works! Nice one.

BTW do you know how to include negative spaces so I can weld the edges of two $$==$$ signs together?

Okay, now I need to check out how to stack equation entities properly so I don't need to use tables. Having said that, when I wrote my thesis using full AmsLaTeX I found that I could not achieve the effects I was after without writing my own package (which included a modification to the table/array facilities) so we'll see what gives.

It's getting late for the night and I'm not good at learning new stuff p.m. I'll try and get it together to check out all the new buttons tomorrow - if not, then next weekend when I have two completely free mornings. --Matt Westwood 22:47, 20 September 2008 (UTC)