Théophile Bastian

tobast pushed to master at tobast/mpri-coq-project

2017-12-08 03:33:15 +01:00

eba9cbdb39 Update README

b9fcc3f5ee Remove a few admitted points for certain_termination

Compare 2 commits »

tobast pushed to master at tobast/mpri-coq-project

2017-12-07 23:58:25 +01:00

3888b62c6a Annotate while with invariants in the language

tobast pushed to absolute_data at tobast/bizou

2017-11-28 21:41:28 +01:00

770d7e1ef0 Change title to $simplePath

tobast deleted tag absolute_data from tobast/bizou

2017-11-28 19:04:08 +01:00

tobast pushed to absolute_data at tobast/bizou

2017-11-28 19:04:08 +01:00

304e0f09d7 Adapt viewer plugin to absolute paths

02479196c6 Handle absolute paths for images and data dirs

61e81e087e honor jpeg orientation

aac71576e1 Handle jpeg orientation in viewer

f71582d5eb Use ini_get('upload_tmp_dir') for zip plugin

tobast created repository tobast/bizou

2017-11-28 14:48:17 +01:00

tobast pushed to master at tobast/hello-barcelona-17

2017-10-02 23:30:57 +02:00

27db1f5e06 Mst oriented in O(NM)

b944df81ba Import previous stuff

Compare 2 commits »

tobast created repository tobast/hello-barcelona-17

2017-10-02 21:11:59 +02:00

tobast pushed to master at tobast/dotfiles

2017-09-14 13:20:56 +02:00

b4c72c46ac Vim: install coquille

15e76d0f14 i3: add mod+t to toggle touchpad

Compare 2 commits »

tobast pushed to master at tobast/lejaune

2017-08-31 11:16:36 +02:00

b72a190e85 Add gitignore

09fe77df3e Change config to allow local settings

Compare 2 commits »

tobast deleted tag master from tobast/lejaune

2017-08-31 10:25:02 +02:00

tobast pushed to master at tobast/lejaune

2017-08-31 10:25:02 +02:00

cc19f19f9f Initial commit

tobast created repository tobast/lejaune

2017-08-31 09:45:55 +02:00

tobast pushed to master at tobast/dotfiles

2017-07-09 10:05:04 +02:00

19bde413c2 Gpg: remove gpg-agent.service (gpg upgrade)

tobast pushed to master at tobast/dotfiles

2017-06-29 12:22:02 +02:00

d104cd3948 Add .XCompose

tobast pushed to master at tobast/dotfiles

2017-06-18 14:04:48 +02:00

16918a12ee bashrc: add gem binaries to $PATH

tobast pushed to master at tobast/dotfiles

2017-06-15 12:11:33 +02:00

191fa21369 yadus: use --data-urlencode

tobast pushed to master at tobast/dotfiles

2017-06-09 13:31:41 +02:00

3dec79668f tmux: prefix-l -> ^L

tobast pushed to master at tobast/dotfiles

2017-06-05 13:28:33 +02:00

3817a7c8f8 vim: make syntastic's bar BG black

tobast pushed to master at tobast/dotfiles

2017-06-05 12:54:40 +02:00

a259022fac alias: showcolors