Initial check-in of files

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]
+*~
+.#*
+[#]*#
diff --git a/.emacs b/.emacs
new file mode 100644
index 0000000..2223e08
--- /dev/null
+++ b/.emacs
@@ -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_MIN