summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.fluxbox/init2
-rw-r--r--.vim/ftdetect/fortress.vim4
-rw-r--r--.vim/syntax/fortress.vim90
-rw-r--r--.vimrc3
-rw-r--r--todo32
5 files changed, 130 insertions, 1 deletions
diff --git a/.fluxbox/init b/.fluxbox/init
index 36f3a23..19df5bb 100644
--- a/.fluxbox/init
+++ b/.fluxbox/init
@@ -13,7 +13,7 @@ session.screen0.slit.onHead: 0
session.screen0.slit.direction: Vertical
session.screen0.slit.alpha: 255
session.screen0.slit.maxOver: false
-session.screen0.slit.autoHide: false
+session.screen0.slit.autoHide: true
session.screen0.slit.onhead: 0
session.screen0.slit.placement: BottomRight
session.screen0.slit.layer: Dock
diff --git a/.vim/ftdetect/fortress.vim b/.vim/ftdetect/fortress.vim
new file mode 100644
index 0000000..cbb6329
--- /dev/null
+++ b/.vim/ftdetect/fortress.vim
@@ -0,0 +1,4 @@
+au BufNewFile,BufRead *.fsi,*.fss set ft=fortress
+au BufNewFile,BufRead *.fsi,*.fss set expandtab
+au BufNewFile,BufRead *.fsi,*.fss set softtabstop=4
+au BufNewFile,BufRead *.fsi,*.fss set shiftwidth=4
diff --git a/.vim/syntax/fortress.vim b/.vim/syntax/fortress.vim
new file mode 100644
index 0000000..13aacbb
--- /dev/null
+++ b/.vim/syntax/fortress.vim
@@ -0,0 +1,90 @@
+" Vim syntax file
+" Language: Fortress
+" Filenames: *.fsi *.fss
+" Maintainers: Jon Rafkind <rafkind@cs.utah.edu>
+" URL: http://www.cs.utah.edu/~rafkind
+" Last Change: 2008 May 20 - Initial version
+
+" Some stuff stolen from ocaml.vim
+
+if version < 600
+ syntax clear
+elseif exists("b:current_syntax") && b:current_syntax == "fortress"
+ finish
+endif
+
+" syn region fortressComment start="(\*)" end="\\$" end="$"
+syn region fortressComment start="(\*" end="\*)" contains=fortressComment
+syn match fortressLineComment "(\*).*"
+syn match fortressEnd "\<end\>"
+
+" syn match fortressKeyword "\<getter\>"
+syn keyword fortressKeyword getter else var test
+syn keyword fortressExternal import export
+
+syn region fortressString start=+"+ skip=+\\\\\|\\"+ end=+"+
+syn match fortressChar "'.'"
+syn match fortressNumber "\<-\=\d\(_\|\d\)*"
+
+syn keyword fortressType api object trait value
+syn keyword fortressType extends abstract comprises
+syn keyword fortressType grammar component
+syn keyword fortressType Any Boolean String self
+syn keyword fortressType Char
+syn keyword fortressType ZZ32 ZZ64 RR32 RR64 ZZ
+
+syn keyword fortressOperator println
+
+syn keyword fortressKeyword opr for private asif throw
+
+syn match fortressThenErr "\<then\>"
+syn match fortressCaseErr "\<case\>"
+syn match fortressCatchErr "\<catch\>"
+syn match fortressTypecaseErr "\<of\>"
+
+syn region fortressNone matchgroup=fortressKeyword start="\<if\>" matchgroup=fortressKeyword end="\<then\>" contains=ALLBUT,fortressThenErr nextgroup=fortressIf
+syn region fortressIf matchgroup=fortressKeyword start="\<elif\>" matchgroup=fortressKeyword end="\<then\>" contains=ALLBUT,fortressThenErr nextgroup=fortressIf
+syn region fortressIf matchgroup=fortressKeyword start="\<then\>" matchgroup=fortressKeyword end="\<end\>" contains=ALLBUT,fortressThenErr
+
+syn region fortressNone matchgroup=fortressKeyword start="\<case\>" matchgroup=fortressKeyword end="\<of\>" contains=ALLBUT,fortressCaseErr nextgroup=fortressCase
+syn region fortressCase matchgroup=fortressKeyword start="\<in\>" matchgroup=fortressKeyword end="\<end\>" contains=ALLBUT,fortressCaseErr
+
+syn region fortressNone matchgroup=fortressKeyword start="\<typecase\>" matchgroup=fortressKeyword end="\<of\>" contains=ALLBUT,fortressTypecaseErr nextgroup=fortressTypecase
+syn region fortressTypecase matchgroup=fortressKeyword start="\<of\>" matchgroup=fortressKeyword end="\<end\>" contains=ALLBUT,fortressEndErr
+
+syn region fortressNone matchgroup=fortressKeyword start="\<try\>" matchgroup=fortressKeyword end="\<catch\>" contains=ALLBUT,fortressCatchErr nextgroup=fortressCatch
+syn region fortressCatch matchgroup=fortressKeyword start="\<catch\>" matchgroup=fortressKeyword end="\<end\>" contains=ALLBUT,fortressEndErr
+
+syn region fortressNone matchgroup=fortressKeyword start="\<do\>" matchgroup=fortressKeyword end="\<end\>" contains=ALLBUT,fortressEndErr
+
+syn region fortressApi matchgroup=fortressModule start="\<api\>" matchgroup=fortressModule end="\<end\>" contains=ALLBUT,fortressEndErr
+syn region fortressObject matchgroup=fortressModule start="\<object\>" matchgroup=fortressModule end="\<end\>" contains=ALLBUT,fortressEndErr
+syn region fortressTrait matchgroup=fortressModule start="\<trait\>" matchgroup=fortressModule end="\<end\>" contains=ALLBUT,fortressEndErr
+syn region fortressComponent matchgroup=fortressModule start="\<component\>" matchgroup=fortressModule end="\<end\>" contains=ALLBUT,fortressEndErr
+
+if version >= 508 || !exists("did_fortress_syntax_inits")
+ if version < 508
+ let did_fortress_syntax_inits = 1
+ command -nargs=+ HiLink hi link <args>
+ else
+ command -nargs=+ HiLink hi def link <args>
+ endif
+
+ HiLink fortressComment Comment
+ HiLink fortressLineComment Comment
+ HiLink fortressKeyword Keyword
+ HiLink fortressExternal Include
+ HiLink fortressType Type
+ HiLink fortressOperator Operator
+ HiLink fortressEnd Statement
+
+ HiLink fortressString String
+ HiLink fortressChar String
+ HiLink fortressNumber Number
+
+ HiLink fortressThenErr Error
+
+ delcommand HiLink
+endif
+
+let b:current_syntax = "fortress"
diff --git a/.vimrc b/.vimrc
index 6913c2f..a87b141 100644
--- a/.vimrc
+++ b/.vimrc
@@ -17,3 +17,6 @@ set expandtab
set autoindent
autocmd BufRead *.py set smartindent cinwords=if,elif,else,for,while,try,except,finally,def,class
+
+" for Project Fortress
+au BufNewFile,BufRead *.fsi,*.fss set ft=fortress
diff --git a/todo b/todo
index 1103cca..7d6a50b 100644
--- a/todo
+++ b/todo
@@ -1,3 +1,35 @@
+http://www.jetcafe.org/jim/lambda.html
+
+amazon: spacetime and geometry
+
+hole up somewhere plan:
+$$$ flights to morocco, iceland, paris, zurick, sf, seattle, etc?
+christine, seo, lily, mike,
+
+install docutils
+
+look up ref 11:
+Foundations of Applied Superconductivity (1991, Orlando and Delin)
+50 nH vs 1 nH
+
+Reduced Complexity Decoding of Coded Pulse-Position Modulation Using Partial Statistics
+The Interplanetary Network Progress Report (2005)
+
+---------------------------------------
+
+sage math olpc
+
+blog concept: write emails to dead or fictional figures in character, eg
+ asking questions, and see if the account owner responds
+
+need tools to tinker with human brain, nervous system
+
+video-pedia: allow collaborative editing of informative video. multiple
+ lengths, versions for each topic? what would everything2 version
+ look like?
+
+-------
+
last tango in paris, bande a part, showgirls, the lovers, day for night
check on CMU transfer credit status