diff options
62 files changed, 87136 insertions, 0 deletions
diff --git a/.bazaar/bazaar.conf b/.bazaar/bazaar.conf new file mode 100644 index 0000000..7c92867 --- /dev/null +++ b/.bazaar/bazaar.conf @@ -0,0 +1,25 @@ +[DEFAULT] +email = René 'Necoro' Neumann <necoro@necoro.net> +viz-compact-view = no +launchpad_username = necoro +cia_user = Necoro +cia_send_revno = true +date-column-visible = True +revno-column-visible = True +bugtracker_portato_url = http://portato.origo.ethz.ch/issues/{id} +viz-graph-size = 1315x534 +viz-revisionview-size = 1315x321 +viz-window-size = 1315x926 + +[ALIASES] +c = commit -m +cl = commit --local -m +d = diff +r = revert +rev = revert --no-backup +s = status +l = log --short -r -10.. +p = push +pl = pull +sw = switch +bls = branches .. diff --git a/.bazaar/ignore b/.bazaar/ignore new file mode 100644 index 0000000..a9081c2 --- /dev/null +++ b/.bazaar/ignore @@ -0,0 +1,8 @@ +*.a +*.o +*.py[co] +*.so +*.sw[nop] +*~ +.#* +[#]*# @@ -0,0 +1,33 @@ +(require 'color-theme) +(color-theme-initialize) +(color-theme-charcoal-black) + +(add-to-list 'load-path "~/.emacs.d") + +(custom-set-variables + + ;; custom-set-variables was added by Custom. + ;; If you edit it by hand, you could mess it up, so be careful. + ;; Your init file should contain only one such instance. + ;; If there is more than one, they won't work right. + '(isar-display:long-names nil) + '(isar-display:show-main-goal t) + '(isar-display:show-sorts nil) + '(isar-display:show-types nil) + '(isar-maths-menu-enable t) + '(isar-unicode-tokens-enable t) + '(isar-unicode-tokens2-enable t) + '(isar-x-symbol-enable nil) + '(proof-delete-empty-windows nil) + '(proof-imenu-enable t) + '(proof-three-window-enable t)) +(custom-set-faces + ;; custom-set-faces was added by Custom. + ;; If you edit it by hand, you could mess it up, so be careful. + ;; Your init file should contain only one such instance. + ;; If there is more than one, they won't work right. + '(isabelle-free-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue")))) + '(isabelle-var-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue3")))) + '(proof-highlight-dependency-face ((((type x) (class color) (background dark)) (:background "peru" :foreground "black")))) + '(proof-highlight-dependent-face ((((type x) (class color) (background dark)) (:background "darkorange" :foreground "black")))) + '(proof-warning-face ((((type x) (class color) (background dark)) (:background "orange2" :foreground "black"))))) diff --git a/.emacs.d/.keep b/.emacs.d/.keep new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/.emacs.d/.keep diff --git a/.gitconfig b/.gitconfig new file mode 100644 index 0000000..76c8e44 --- /dev/null +++ b/.gitconfig @@ -0,0 +1,21 @@ +[user] + name = René 'Necoro' Neumann + email = necoro@necoro.net +[alias] + ci = commit + ca = commit -a + c = commit -a -m + co = checkout + d = diff + dc = diff --cached + s = status + alias = "!bash -c '[ $# = 2 ] && git config --global alias.\"$1\" \"$2\" && exit 0 || echo \"usage: git alias <new alias> <original command>\" >&2 && exit 1' -" + ll = log --name-status --color -M -C + cob = "!sh -c 'git checkout -b $1 origin/$1' -" + com = checkout master +[push] + default = tracking +[diff] + rename = copy + +# vim: noexpandtab diff --git a/.vim/.bzrignore b/.vim/.bzrignore new file mode 100644 index 0000000..1271686 --- /dev/null +++ b/.vim/.bzrignore @@ -0,0 +1 @@ +./tags.d/global diff --git a/.vim/after/ftplugin/c.vim b/.vim/after/ftplugin/c.vim new file mode 100644 index 0000000..66dfc5e --- /dev/null +++ b/.vim/after/ftplugin/c.vim @@ -0,0 +1,2 @@ +" OmniCppComplete initialization +call omni#cpp#complete#Init() diff --git a/.vim/after/ftplugin/cpp.vim b/.vim/after/ftplugin/cpp.vim new file mode 100644 index 0000000..66dfc5e --- /dev/null +++ b/.vim/after/ftplugin/cpp.vim @@ -0,0 +1,2 @@ +" OmniCppComplete initialization +call omni#cpp#complete#Init() diff --git a/.vim/after/ftplugin/python_pydiction.vim b/.vim/after/ftplugin/python_pydiction.vim new file mode 100644 index 0000000..ce078a0 --- /dev/null +++ b/.vim/after/ftplugin/python_pydiction.vim @@ -0,0 +1,132 @@ +" ============================================================================ +" python_pydiction.vim - Module and Keyword completion for Python +" ============================================================================ +" +" Author: Ryan Kulla (rkulla AT gmail DOT com) +" Version: 1.1, for Vim 7 +" URL: http://www.vim.org/scripts/script.php?script_id=850 +" Last Modified: July 20th, 2009 +" Installation: On Linux, put this file in ~/.vim/after/ftplugin/ +" On Windows, put this file in C:\vim\vimfiles\ftplugin\ +" (assuming you installed vim in C:\vim\). +" You may install the other files anywhere. +" In .vimrc, add the following: +" filetype plugin on +" let g:pydiction_location = 'path/to/complete-dict' +" Optionally, you set the completion menu height like: +" let g:pydiction_menu_height = 20 +" The default menu height is 15 +" To do case-sensitive searches, set noignorecase (:set noic). +" Usage: Type part of a Python keyword, module name, attribute or method, +" then hit the TAB key and it will auto-complete (as long as it +" exists in the complete-dict file. +" License: BSD +" Copyright: Copyright (c) 2003-2009 Ryan Kulla +" All rights reserved. +" +" Redistribution and use in source and binary forms, with or without +" modification, are permitted provided that the following conditions +" are met: +" 1. Redistributions of source code must retain the above copyright +" notice, this list of conditions and the following disclaimer. +" 2. Redistributions in binary form must reproduce the above +" copyright notice, this list of conditions and the following +" disclaimer in the documentation and/or other materials provided +" with the distribution. +" 3. The name of the author may not be used to endorse or promote +" products derived from this software without specific prior +" written permission. +" +" THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS +" OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED +" WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE +" ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY +" DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL +" DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE +" GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS +" INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, +" WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING +" NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF +" THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. +" +" + +if v:version < 700 + echoerr "Pydiction requires vim version 7 or greater." + finish +endif + + +" Make the Tab key do python code completion: +inoremap <silent> <buffer> <Tab> + \<C-R>=<SID>SetVals()<CR> + \<C-R>=<SID>TabComplete()<CR> + \<C-R>=<SID>RestoreVals()<CR> + + +if !exists("*s:TabComplete") + function! s:TabComplete() + " Check if the char before the char under the cursor is an + " underscore, letter, number, dot or opening parentheses. + " If it is, and if the popup menu is not visible, use + " I_CTRL-X_CTRL-K ('dictionary' only completion)--otherwise, + " use I_CTRL-N to scroll downward through the popup menu. + " If the char is some other character, insert a normal Tab: + if searchpos('[_a-zA-Z0-9.(]\%#', 'nb') != [0, 0] + if !pumvisible() + return "\<C-X>\<C-K>" + else + return "\<C-N>" + endif + else + return "\<Tab>" + endif + endfunction +endif + + +if !exists("*s:SetVals") + function! s:SetVals() + " Save and change any config values we need. + + " Temporarily change isk to treat periods and opening + " parenthesis as part of a keyword -- so we can complete + " python modules and functions: + let s:pydiction_save_isk = &iskeyword + setlocal iskeyword +=.,( + + " Save any current dictionaries the user has set: + let s:pydiction_save_dictions = &dictionary + " Temporarily use only pydiction's dictionary: + let &dictionary = g:pydiction_location + + " Save the ins-completion options the user has set: + let s:pydiction_save_cot = &completeopt + " Have the completion menu show up for one or more matches: + let &completeopt = "menu,menuone" + + " Set the popup menu height: + let s:pydiction_save_pumheight = &pumheight + if !exists('g:pydiction_menu_height') + let g:pydiction_menu_height = 15 + endif + let &pumheight = g:pydiction_menu_height + + return '' + endfunction +endif + + +if !exists("*s:RestoreVals") + function! s:RestoreVals() + " Restore the user's initial values. + + let &dictionary = s:pydiction_save_dictions + let &completeopt = s:pydiction_save_cot + let &pumheight = s:pydiction_save_pumheight + let &iskeyword = s:pydiction_save_isk + + return '' + endfunction +endif + diff --git a/.vim/after/syntax/c.vim b/.vim/after/syntax/c.vim new file mode 120000 index 0000000..f065b02 --- /dev/null +++ b/.vim/after/syntax/c.vim @@ -0,0 +1 @@ +../../aftersyntax.vim
\ No newline at end of file diff --git a/.vim/after/syntax/c/opengl.vim b/.vim/after/syntax/c/opengl.vim new file mode 100644 index 0000000..03123f0 --- /dev/null +++ b/.vim/after/syntax/c/opengl.vim @@ -0,0 +1,3046 @@ +" Vim syntax file +" Language: C OpenGL +" Maintainer: Andreeshchev Eugene <admix@pisem.net> +" Version: 1.5 +" Last Change: 2007-08-30 + +" Usage: +" +" Source it from somewhere +" +" Changelog: +" +" 2007-08-30 (v1.5) +" * Added OpenGL ES 2.0 and EGL symbols +" (thanks to Simon Hosie [sh1 at broadcom dot com]). +" * Added following variables: +" c_opengl_no_gles2 - turns off GLES2 highlighting +" c_opengl_no_egl - turns off EGL highlighting +" * Now version numbering is a bit screwed =) +" +" 2003-11-07 (v1.4.1) +" * Added GLUT support +" (thanks to Mathias Gumz [gumzat at cs dot uni-magdeburg dot de]). +" * Added following variables: +" c_opengl_no_glu - turns off GLU highlighting +" c_opengl_no_glut - turns off GLUT highlighting +" c_opengl_no_ext_arb - turns off ARB extensions highlighting +" +" 2003-10-31 (v1.4) +" * Updated to OpenGL 1.4 ARB extensions for OpenGL Shading Language +" (thanks to Eric Boumaour [zongo at nekeme dot net]). +" * Now version number match OpenGL version. +" +" 2003-08-29 (v0.1) +" Initial release +" +" TODO: add support for vendor specific extensions (NVidia and ATI at least) +" + + +" gl.h +" Data types {{{ +syntax keyword glConstant GL_BYTE +syntax keyword glConstant GL_UNSIGNED_BYTE +syntax keyword glConstant GL_SHORT +syntax keyword glConstant GL_UNSIGNED_SHORT +syntax keyword glConstant GL_INT +syntax keyword glConstant GL_UNSIGNED_INT +syntax keyword glConstant GL_FLOAT +syntax keyword glConstant GL_DOUBLE +syntax keyword glConstant GL_2_BYTES +syntax keyword glConstant GL_3_BYTES +syntax keyword glConstant GL_4_BYTES + +syntax keyword glType GLenum +syntax keyword glType GLboolean +syntax keyword glType GLbitfield +syntax keyword glType GLvoid +syntax keyword glType GLbyte +syntax keyword glType GLshort +syntax keyword glType GLint +syntax keyword glType GLubyte +syntax keyword glType GLushort +syntax keyword glType GLuint +syntax keyword glType GLsizei +syntax keyword glType GLfloat +syntax keyword glType GLclampf +syntax keyword glType GLdouble +syntax keyword glType GLclampd +" }}} + +" Constants {{{ + + syntax keyword glConstant GL_FALSE + syntax keyword glConstant GL_TRUE + + " Primitives {{{ + syntax keyword glConstant GL_POINTS + syntax keyword glConstant GL_LINES + syntax keyword glConstant GL_LINE_LOOP + syntax keyword glConstant GL_LINE_STRIP + syntax keyword glConstant GL_TRIANGLES + syntax keyword glConstant GL_TRIANGLE_STRIP + syntax keyword glConstant GL_TRIANGLE_FAN + syntax keyword glConstant GL_QUADS + syntax keyword glConstant GL_QUAD_STRIP + syntax keyword glConstant GL_POLYGON + " }}} + + " Vertex Arrays {{{ + syntax keyword glConstant GL_VERTEX_ARRAY + syntax keyword glConstant GL_NORMAL_ARRAY + syntax keyword glConstant GL_COLOR_ARRAY + syntax keyword glConstant GL_INDEX_ARRAY + syntax keyword glConstant GL_TEXTURE_COORD_ARRAY + syntax keyword glConstant GL_EDGE_FLAG_ARRAY + syntax keyword glConstant GL_VERTEX_ARRAY_SIZE + syntax keyword glConstant GL_VERTEX_ARRAY_TYPE + syntax keyword glConstant GL_VERTEX_ARRAY_STRIDE + syntax keyword glConstant GL_NORMAL_ARRAY_TYPE + syntax keyword glConstant GL_NORMAL_ARRAY_STRIDE + syntax keyword glConstant GL_COLOR_ARRAY_SIZE + syntax keyword glConstant GL_COLOR_ARRAY_TYPE + syntax keyword glConstant GL_COLOR_ARRAY_STRIDE + syntax keyword glConstant GL_INDEX_ARRAY_TYPE + syntax keyword glConstant GL_INDEX_ARRAY_STRIDE + syntax keyword glConstant GL_TEXTURE_COORD_ARRAY + syntax keyword glConstant GL_TEXTURE_COORD_ARRAY + syntax keyword glConstant GL_TEXTURE_COORD_ARRAY + syntax keyword glConstant GL_EDGE_FLAG_ARRAY_STR + syntax keyword glConstant GL_VERTEX_ARRAY_POINTE + syntax keyword glConstant GL_NORMAL_ARRAY_POINTE + syntax keyword glConstant GL_COLOR_ARRAY_POINTER + syntax keyword glConstant GL_INDEX_ARRAY_POINTER + syntax keyword glConstant GL_TEXTURE_COORD_ARRAY + syntax keyword glConstant GL_EDGE_FLAG_ARRAY_POI + syntax keyword glConstant GL_V2F + syntax keyword glConstant GL_V3F + syntax keyword glConstant GL_C4UB_V2F + syntax keyword glConstant GL_C4UB_V3F + syntax keyword glConstant GL_C3F_V3F + syntax keyword glConstant GL_N3F_V3F + syntax keyword glConstant GL_C4F_N3F_V3F + syntax keyword glConstant GL_T2F_V3F + syntax keyword glConstant GL_T4F_V4F + syntax keyword glConstant GL_T2F_C4UB_V3F + syntax keyword glConstant GL_T2F_C3F_V3F + syntax keyword glConstant GL_T2F_N3F_V3F + syntax keyword glConstant GL_T2F_C4F_N3F_V3F + syntax keyword glConstant GL_T4F_C4F_N3F_V4F + " }}} + + " Matrix Mode {{{ + syntax keyword glConstant GL_MATRIX_MODE + syntax keyword glConstant GL_MODELVIEW + syntax keyword glConstant GL_PROJECTION + syntax keyword glConstant GL_TEXTURE + " }}} + + " Points {{{ + syntax keyword glConstant GL_POINT_SMOOTH + syntax keyword glConstant GL_POINT_SIZE + syntax keyword glConstant GL_POINT_SIZE_GRANULARITY + syntax keyword glConstant GL_POINT_SIZE_RANGE + " }}} + + " Lines {{{ + syntax keyword glConstant GL_LINE_SMOOTH + syntax keyword glConstant GL_LINE_STIPPLE + syntax keyword glConstant GL_LINE_STIPPLE_PATTERN + syntax keyword glConstant GL_LINE_STIPPLE_REPEAT + syntax keyword glConstant GL_LINE_WIDTH + syntax keyword glConstant GL_LINE_WIDTH_GRANULARITY + syntax keyword glConstant GL_LINE_WIDTH_RANGE + " }}} + + " Polygons {{{ + syntax keyword glConstant GL_POINT + syntax keyword glConstant GL_LINE + syntax keyword glConstant GL_FILL + syntax keyword glConstant GL_CW + syntax keyword glConstant GL_CCW + syntax keyword glConstant GL_FRONT + syntax keyword glConstant GL_BACK + syntax keyword glConstant GL_POLYGON_MODE + syntax keyword glConstant GL_POLYGON_SMOOTH + syntax keyword glConstant GL_POLYGON_STIPPLE + syntax keyword glConstant GL_EDGE_FLAG + syntax keyword glConstant GL_CULL_FACE + syntax keyword glConstant GL_CULL_FACE_MODE + syntax keyword glConstant GL_FRONT_FACE + syntax keyword glConstant GL_POLYGON_OFFSET_FACTOR + syntax keyword glConstant GL_POLYGON_OFFSET_UNITS + syntax keyword glConstant GL_POLYGON_OFFSET_POINT + syntax keyword glConstant GL_POLYGON_OFFSET_LINE + syntax keyword glConstant GL_POLYGON_OFFSET_FILL + " }}} + + " Display Lists {{{ + syntax keyword glConstant GL_COMPILE + syntax keyword glConstant GL_COMPILE_AND_EXECUTE + syntax keyword glConstant GL_LIST_BASE + syntax keyword glConstant GL_LIST_INDEX + syntax keyword glConstant GL_LIST_MODE + " }}} + + " Depth buffer {{{ + syntax keyword glConstant GL_NEVER + syntax keyword glConstant GL_LESS + syntax keyword glConstant GL_EQUAL + syntax keyword glConstant GL_LEQUAL + syntax keyword glConstant GL_GREATER + syntax keyword glConstant GL_NOTEQUAL + syntax keyword glConstant GL_GEQUAL + syntax keyword glConstant GL_ALWAYS + syntax keyword glConstant GL_DEPTH_TEST + syntax keyword glConstant GL_DEPTH_BITS + syntax keyword glConstant GL_DEPTH_CLEAR_VALUE + syntax keyword glConstant GL_DEPTH_FUNC + syntax keyword glConstant GL_DEPTH_RANGE + syntax keyword glConstant GL_DEPTH_WRITEMASK + syntax keyword glConstant GL_DEPTH_COMPONENT + " }}} + + " Lighting {{{ + syntax keyword glConstant GL_LIGHTING + syntax keyword glConstant GL_LIGHT0 + syntax keyword glConstant GL_LIGHT1 + syntax keyword glConstant GL_LIGHT2 + syntax keyword glConstant GL_LIGHT3 + syntax keyword glConstant GL_LIGHT4 + syntax keyword glConstant GL_LIGHT5 + syntax keyword glConstant GL_LIGHT6 + syntax keyword glConstant GL_LIGHT7 + syntax keyword glConstant GL_SPOT_EXPONENT + syntax keyword glConstant GL_SPOT_CUTOFF + syntax keyword glConstant GL_CONSTANT_ATTENUATION + syntax keyword glConstant GL_LINEAR_ATTENUATION + syntax keyword glConstant GL_QUADRATIC_ATTENUATION + syntax keyword glConstant GL_AMBIENT + syntax keyword glConstant GL_DIFFUSE + syntax keyword glConstant GL_SPECULAR + syntax keyword glConstant GL_SHININESS + syntax keyword glConstant GL_EMISSION + syntax keyword glConstant GL_POSITION + syntax keyword glConstant GL_SPOT_DIRECTION + syntax keyword glConstant GL_AMBIENT_AND_DIFFUSE + syntax keyword glConstant GL_COLOR_INDEXES + syntax keyword glConstant GL_LIGHT_MODEL_TWO_SIDE + syntax keyword glConstant GL_LIGHT_MODEL_LOCAL_VIEWER + syntax keyword glConstant GL_LIGHT_MODEL_AMBIENT + syntax keyword glConstant GL_FRONT_AND_BACK + syntax keyword glConstant GL_SHADE_MODEL + syntax keyword glConstant GL_FLAT + syntax keyword glConstant GL_SMOOTH + syntax keyword glConstant GL_COLOR_MATERIAL + syntax keyword glConstant GL_COLOR_MATERIAL_FACE + syntax keyword glConstant GL_COLOR_MATERIAL_PARAMETER + syntax keyword glConstant GL_NORMALIZE + " }}} + +" Use clipping planes {{{ +syntax keyword glConstant GL_CLIP_PLANE0 +syntax keyword glConstant GL_CLIP_PLANE1 +syntax keyword glConstant GL_CLIP_PLANE2 +syntax keyword glConstant GL_CLIP_PLANE3 +syntax keyword glConstant GL_CLIP_PLANE4 +syntax keyword glConstant GL_CLIP_PLANE5 +" }}} + +" Accumulation buffer {{{ +syntax keyword glConstant GL_ACCUM_RED_BITS +syntax keyword glConstant GL_ACCUM_GREEN_BITS +syntax keyword glConstant GL_ACCUM_BLUE_BITS +syntax keyword glConstant GL_ACCUM_ALPHA_BITS +syntax keyword glConstant GL_ACCUM_CLEAR_VALUE +syntax keyword glConstant GL_ACCUM +syntax keyword glConstant GL_ADD +syntax keyword glConstant GL_LOAD +syntax keyword glConstant GL_MULT +syntax keyword glConstant GL_RETURN +" }}} + +" Alpha testing {{{ +syntax keyword glConstant GL_ALPHA_TEST +syntax keyword glConstant GL_ALPHA_TEST_REF +syntax keyword glConstant GL_ALPHA_TEST_FUNC +" }}} + +" Blending {{{ +syntax keyword glConstant GL_BLEND +syntax keyword glConstant GL_BLEND_SRC +syntax keyword glConstant GL_BLEND_DST +syntax keyword glConstant GL_ZERO +syntax keyword glConstant GL_ONE +syntax keyword glConstant GL_SRC_COLOR +syntax keyword glConstant GL_ONE_MINUS_SRC_COLOR +syntax keyword glConstant GL_SRC_ALPHA +syntax keyword glConstant GL_ONE_MINUS_SRC_ALPHA +syntax keyword glConstant GL_DST_ALPHA +syntax keyword glConstant GL_ONE_MINUS_DST_ALPHA +syntax keyword glConstant GL_DST_COLOR +syntax keyword glConstant GL_ONE_MINUS_DST_COLOR +syntax keyword glConstant GL_SRC_ALPHA_SATURATE +syntax keyword glConstant GL_CONSTANT_COLOR +syntax keyword glConstant GL_ONE_MINUS_CONSTANT_COLOR +syntax keyword glConstant GL_CONSTANT_ALPHA +syntax keyword glConstant GL_ONE_MINUS_CONSTANT_ALPHA +" }}} + +" Render mode {{{ +syntax keyword glConstant GL_FEEDBACK +syntax keyword glConstant GL_RENDER +syntax keyword glConstant GL_SELECT +" }}} + + " Feedback {{{ + syntax keyword glConstant GL_2D + syntax keyword glConstant GL_3D + syntax keyword glConstant GL_3D_COLOR + syntax keyword glConstant GL_3D_COLOR_TEXTURE + syntax keyword glConstant GL_4D_COLOR_TEXTURE + syntax keyword glConstant GL_POINT_TOKEN + syntax keyword glConstant GL_LINE_TOKEN + syntax keyword glConstant GL_LINE_RESET_TOKEN + synta |