fredefox
0 Followers · 0 Following
  • Joined on 2019-02-03
Repositories
10
 Projects Packages Public Activity Starred Repositories
fredefox pushed to mac-setup at fredefox/dotfiles 2019-05-14 21:56:18 +00:00
d0ab934aba More changes
2fcfd2a605 Move the monokai-dark-theme file to canonical location
000ddfe350 Move emacs-config files to subdir
838c2ace0e Various changes: Change keybindings for magit...
8e7ec1c641 Various changes: Change keybindings for magit...
Compare 5 commits »
fredefox pushed to mac-setup at fredefox/dotfiles 2019-04-30 07:13:06 +00:00
8e7ec1c641 Various changes: Change keybindings for magit...
9844a205a3 Load packages from lisp directory
00dfa7a0e5 Make custom theme and other changes
8cd4674874 Changes from MAC setup
8b9c8c1b2a Fix some stuff on my MAC
fredefox pushed to master at fredefox/dotfiles 2019-03-26 16:27:10 +00:00
13479ad907 Various changes...
cca69d996a Various changes...
eea9854d68 Additional changes from MAC setup
a95f7adb63 A few emacs settings to bring in line with my MAC setup
a3632d8834 Add itermcolors, and a few env. vars
Compare 5 commits »
fredefox pushed to master at fredefox/dotfiles 2019-03-26 16:06:50 +00:00
cca69d996a Various changes...
fredefox pushed to master at fredefox/frelude 2019-03-02 10:41:58 +00:00
3524ffa404 Add `traverse_`
fredefox pushed to master at fredefox/dotfiles 2019-02-20 22:40:48 +00:00
fbda89db58 Mainly move things around
0c1530fd48 Lots of changes here
cdc7801760 Lots of changes here
Compare 3 commits »
fredefox pushed to master at fredefox/dotfiles 2019-02-20 21:48:41 +00:00
cdc7801760 Lots of changes here
624e005df0 Various changes
9afdc83564 Much about with various emacs things
Compare 3 commits »
fredefox pushed tag 0.0.1 to fredefox/cat 2019-02-03 19:37:04 +00:00
fredefox pushed tag 1.0.0 to fredefox/cat 2019-02-03 19:37:04 +00:00
fredefox pushed tag 1.0.1 to fredefox/cat 2019-02-03 19:37:04 +00:00
fredefox pushed tag 1.1.0 to fredefox/cat 2019-02-03 19:37:04 +00:00
fredefox pushed tag 1.2.0 to fredefox/cat 2019-02-03 19:37:04 +00:00
fredefox pushed tag 1.3.0 to fredefox/cat 2019-02-03 19:37:04 +00:00
fredefox pushed tag 1.4.0 to fredefox/cat 2019-02-03 19:37:04 +00:00
fredefox pushed tag 1.4.1 to fredefox/cat 2019-02-03 19:37:04 +00:00
fredefox pushed tag 1.5.0 to fredefox/cat 2019-02-03 19:37:04 +00:00
fredefox pushed tag 1.6.0 to fredefox/cat 2019-02-03 19:37:04 +00:00
fredefox pushed to dev at fredefox/cat 2019-02-03 19:36:15 +00:00
e7f5648607 Disable cube
95a8e82d40 Update agda-stdlib to newer version
8f15001a93 Use smaller symbols for arrows in presentation
c5020a0d87 Add Chalmers logo to front page
d7a07da07b Update to most recent version of stdlib
fredefox created repository fredefox/cat 2019-02-03 19:35:35 +00:00
fredefox pushed to master at fredefox/dotfiles 2019-02-03 13:22:40 +00:00
c14e017bd5 Add more stuff
d0c5d0698e Change install script to Haskell
8678ee8a67 Various config changes
ca08de01c9 Add urxvt extensions
6f2a411528 Add a list of git projects