While I like working with matematics inside LaTeX (that is to say, scribble notes e.t.c. even for things I know I will never want typeset), I often find myself resorting to pen and paper for the simple reason that I find it more convenient (being able to shuffle papers around, write some additional notes to the proof of a theorem on one paper so as to remember some detail for whenever I want to sue that particular theorem).
I realise that I probably won't be able to totally move away from using pen and paper (using TikZ to fiddle around with commutative diagrams in "real time" seems like rather a nightmare), but I would like to avoid the huge stack (read mess) of unorganised palimpsests I have to wade through every time I'm looking for some note/theorem/definition.
I'm thus wondering if anyone is aware of some form of software for organising "mathematical thought" (for lack of a less cheesy word); somewhere between a full fledged theorem prover (Coq, Agda e.t.c.) and a typesetting system (LaTeX).
Relevant features would be some form of mathematical "awareness" (maybe something like a a browser for some mathematics RDF schema?), searching (for symbols, texts e.t.c.) and version control (in case of plain text files this could just be achieved by using a regular version control system, but it would be nice if it was more aware of the contents).
Thanks in advance for any hints or suggestions.
EDIT: I just realised that I might just want org-mode. I haven't used it for anything beyond creating basic outlines, is anyone using it for something like what I'm describing above?
EDIT2: Before anyone suggests it, a wiki is not quite what I want, unless you can set it up without starting a server and it's very easy to organise things into seperate small projects (if the threshold of using it isn't minimal I can't see myself using it over grabbing a piece of paper near me).