Delete old stuff.

5 files changed, 1 insertions, 71 deletions

diff --git a/.bins/sdedit-3.0.4.jar b/.bins/sdedit-3.0.4.jar
deleted file mode 100644
index f30b9bc..0000000
--- a/.bins/sdedit-3.0.4.jar
+++ /dev/null
diff --git a/.ctags b/.ctags
deleted file mode 100644
index 01b166c..0000000
--- a/.ctags
+++ /dev/null
@@ -1,17 +0,0 @@
---langdef=latex
---langmap=latex:.tex
---regex-latex=/^\\part[[:space:]]*(\[[^]]*\])?[[:space:]]*\{([^}]+)\}/PART \2/s,part/
---regex-latex=/^\\part[[:space:]]*\*[[:space:]]*\{([^}]+)\}/PART \1/s,part/
---regex-latex=/^\\chapter[[:space:]]*(\[[^]]*\])?[[:space:]]*\{([^}]+)\}/CHAP \2/s,chapter/
---regex-latex=/^\\chapter[[:space:]]*\*[[:space:]]*\{([^}]+)\}/CHAP \1/s,chapter/
---regex-latex=/^\\section[[:space:]]*(\[[^]]*\])?[[:space:]]*\{([^}]+)\}/\. \2/s,section/
---regex-latex=/^\\section[[:space:]]*\*[[:space:]]*\{([^}]+)\}/\. \1/s,section/
---regex-latex=/^\\subsection[[:space:]]*(\[[^]]*\])?[[:space:]]*\{([^}]+)\}/\.\. \2/s,subsection/
---regex-latex=/^\\subsection[[:space:]]*\*[[:space:]]*\{([^}]+)\}/\.\. \1/s,subsection/
---regex-latex=/^\\subsubsection[[:space:]]*(\[[^]]*\])?[[:space:]]*\{([^}]+)\}/\.\.\. \2/s,subsubsection/
---regex-latex=/^\\subsubsection[[:space:]]*\*[[:space:]]*\{([^}]+)\}/\.\.\. \1/s,subsubsection/
---regex-latex=/^\\includegraphics[[:space:]]*(\[[^]]*\])?[[:space:]]*(\[[^]]*\])?[[:space:]]*\{([^}]+)\}/\3/g,graphic+listing/
---regex-latex=/^\\lstinputlisting[[:space:]]*(\[[^]]*\])?[[:space:]]*(\[[^]]*\])?[[:space:]]*\{([^}]+)\}/\3/g,graphic+listing/
---regex-latex=/\\label[[:space:]]*\{([^}]+)\}/\1/l,label/
---regex-latex=/\\ref[[:space:]]*\{([^}]+)\}/\1/r,ref/
---regex-latex=/\\pageref[[:space:]]*\{([^}]+)\}/\1/p,pageref/
diff --git a/.mozilla/mozpluggerrc b/.mozilla/mozpluggerrc
deleted file mode 100644
index a73bcea..0000000
--- a/.mozilla/mozpluggerrc
+++ /dev/null
@@ -1,44 +0,0 @@
-# Configure file for MozPlugger 1.12.1
-# Version: April 16, 2009
-#
-# Commands which are not installed on your system will not be used.
-#
-# This program is free software; you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2 of the License, or
-# (at your option) any later version.
-#
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111, USA.
-
-
-###################
-### m4 macros   ###
-###################
-
-changequote([,])
-
-define(OO,[swallow(VCLSalFrame) fill: soffice -nologo $1 "$file"])
-define([PDFV],[repeat noisy swallow(evince) fill: evince "$file"
-       repeat noisy swallow(epdfview) fill: epdfview "$file"])
-
-
-# The definitions
-application/pdf:pdf:PDF file
-application/x-pdf:pdf:PDF file
-text/pdf:pdf:PDF file
-text/x-pdf:pdf:PDF file
-    PDFV()
-
-application/x-dvi:dvi:DVI file
-    PDFV()
-
-application/x-postscript:ps:PostScript file
-application/postscript:ps:PostScript file
-    PDFV()
diff --git a/.zsh/zshrc b/.zsh/zshrc
index acf1403..c185ef6 100644
--- a/.zsh/zshrc
+++ b/.zsh/zshrc
@@ -69,9 +69,6 @@ alias -s flac='mplayer'
 alias -s odt='soffice'
 alias -s ods='soffice'
 
-# ~/.bins stuff
-alias sdedit='java -jar ~/.bins/sdedit-3.0.4.jar'
-
 # the config management stuff
 alias config='git --git-dir=$HOME/.config.git/ --work-tree=$HOME'
 alias cstg='GIT_DIR=$HOME/.config.git stg'
@@ -169,7 +166,7 @@ setopt prompt_subst
 if is-at-least 4.3.9; then
     autoload -Uz vcs_info
 
-    zstyle ":vcs_info:*" enable bzr cvs svn git hg
+    zstyle ":vcs_info:*" enable cvs svn git hg
     zstyle ":vcs_info:*" formats "%B%{$fg[yellow]%}[%{$fg[green]%}(%u%c) %{$fg[yellow]%}%b:%1.7i%f%%b (%s)%B%{$fg[yellow]%}]%f%%b"
     zstyle ":vcs_info:*" branchformat "%b"
     zstyle ":vcs_info:*" get-revision true
@@ -180,10 +177,6 @@ if is-at-least 4.3.9; then
     zstyle ":vcs_info:hg:*" unstagedstr '*'
     zstyle ":vcs_info:hg:*" hgrevformat '%r'
 
-    # bzr stuff
-    zstyle ":vcs_info:bzr:*" unstagedstr '*'
-    zstyle ":vcs_info:bzr:*" use-simple true
-
     RPROMPT='${vcs_info_msg_0_:+"${vcs_info_msg_0_} "}'"${RPROMPT}"
 
     add-zsh-hook precmd vcs_info
diff --git a/.zshenv b/.zshenv
index b8b21b6..a562fc7 100644
--- a/.zshenv
+++ b/.zshenv
@@ -10,8 +10,6 @@ path=(
     ~/bin
     # node stuff
     ~/.node/bin
-    # isabelle
-    ~/isabelle/Isabelle/bin
     # rest
     $path)