Commit graph

101 commits

Author SHA1 Message Date
Yann Esposito (Yogsototh)
f94731e86b Fixed a big error on isomorphism between tree and list :/ 2012-12-12 21:58:12 +01:00
Yann Esposito
b0f583ad36 updated style for ul and ol 2012-12-12 17:54:31 +01:00
Yann Esposito (Yogsototh)
35eeaa4ea1 added latest presentation blog post 2012-12-12 11:09:15 +01:00
Yann Esposito (Yogsototh)
04339f4002 regeneration 2012-12-11 01:05:44 +01:00
Yann Esposito (Yogsototh)
bddd1c5516 regeneration 2012-11-05 11:52:15 +01:00
Yann Esposito
2d1aef4ce9 regeneration 2012-10-11 09:28:03 +02:00
Yann Esposito (Yogsototh)
635af7ebaf regeneration 2012-10-10 11:58:42 +02:00
Yann Esposito (Yogsototh)
bc8bbf7404 regeneration 2012-10-10 10:27:24 +02:00
Yann Esposito
cc828ca757 transition page faster to show content less inconvenient 2012-10-08 13:39:31 +02:00
Yann Esposito (Yogsototh)
625c30f5c7 updated font for blackpage 2012-10-06 16:59:58 +02:00
Yann Esposito (Yogsototh)
259aab6623 some update 2012-10-06 16:52:08 +02:00
Yann Esposito
c951b0d2ca regeneration 2012-10-05 11:21:15 +02:00
Yann Esposito
dc24455133 updated the initial logging page 2012-10-05 11:20:03 +02:00
Yann Esposito (Yogsototh)
ef8929bece recompiled and fixed translation 2012-10-04 18:10:28 +02:00
Yann Esposito
fc91d51d36 recompilation and update of Haskell tutorial article 2012-09-27 11:42:34 +02:00
Yann Esposito (Yogsototh)
82bdcd6ec2 small resume update 2012-09-20 13:50:54 +02:00
Yann Esposito
2798b91c00 updated the root page generation (bad google indexing) 2012-09-13 11:58:19 +02:00
Yann Esposito (Yogsototh)
b4e54d5f22 Fixed a small-caps bug 2012-06-26 23:40:05 +02:00
Yann Esposito (Yogsototh)
45a26e1f06 regeneration 2012-06-18 15:39:15 +02:00
Yann Esposito (Yogsototh)
8a69f1f8d9 regeneration 2012-06-18 13:17:49 +02:00
Yann Esposito (Yogsototh)
3b0bf95d55 Updated font-face for windows losers 2012-06-18 11:47:36 +02:00
Yann Esposito (Yogsototh)
4047d2f5ad regeneration 2012-06-15 17:55:24 +02:00
Yann Esposito (Yogsototh)
7bca1d21b6 Updated article 2012-06-15 12:29:31 +02:00
Yann Esposito
65061be7d2 Updated both content and a bit of CSS 2012-06-15 12:02:30 +02:00
Yann Esposito
93b7251f53 Update and regen 2012-06-14 18:04:16 +02:00
Yann Esposito
fd329525d0 Better bold and italic fonts 2012-06-13 17:59:29 +02:00
Yann Esposito
eb1f771693 Used tt font (alway CMU typeface) 2012-06-13 12:02:44 +02:00
Yann Esposito (Yogsototh)
463d0b9480 Justified text (more LaTeXish) 2012-06-13 00:54:57 +02:00
Yann Esposito (Yogsototh)
b0aa34f06e Updated the typography and the web article (bugs) 2012-06-13 00:44:24 +02:00
Yann Esposito (Yogsototh)
0bce46c2da Computer modern font FTW! + Ligatures 2012-06-13 00:33:36 +02:00
Yann Esposito
bfd03a75ea Latest update 2012-06-12 16:39:44 +02:00
Yann Esposito (Yogsototh)
a996ec1fd3 Just an update 2012-06-01 15:24:58 +02:00
Yann Esposito (Yogsototh)
7dc0957465 regeneration 2012-05-03 11:21:34 +02:00
Yann Esposito
70314df976 Recompiled 2012-05-02 17:43:56 +02:00
Yann Esposito (Yogsototh)
6c8094d35d Updated blog and homepages 2012-04-24 17:24:07 +02:00
Yann Esposito (Yogsototh)
ba85cee7a4 Added social buttons 2012-04-10 15:56:34 +02:00
Yann Esposito (Yogsototh)
38cf5e245c Latest regen 2012-04-06 14:08:45 +02:00
Yann Esposito (Yogsototh)
57d77cd030 Regen complete 2012-04-02 23:43:39 +02:00
Yann Esposito (Yogsototh)
05625333a3 Last update with complete regen 2012-02-29 22:06:22 +01:00
Yann Esposito (Yogsototh)
1a6066ea2b regeneration 2012-02-20 15:41:09 +01:00
Yann Esposito (Yogsototh)
12a918dc98 regeneration 2012-02-02 14:14:16 +01:00
Yann Esposito (Yogsototh)
49452080bf Regen 2012-01-20 22:36:36 +01:00
Yann Esposito (Yogsototh)
f19c2a270a Regen 2012-01-20 14:41:44 +01:00
Yann Esposito (Yogsototh)
1476eea71e Regen 2012-01-20 12:20:07 +01:00
Yann Esposito (Yogsototh)
badfe7c1db Managed latest blog post automatically 2012-01-20 11:16:02 +01:00
Yann Esposito (Yogsototh)
e804d7d05c recompiled 2012-01-18 15:51:20 +01:00
Yann Esposito (Yogsototh)
219937b6c9 Regen 2012-01-18 14:28:01 +01:00
Yann Esposito (Yogsototh)
54f3019a25 REcompilation 2012-01-11 21:40:22 +01:00
Yann Esposito (Yogsototh)
085087fc07 Update the CSS and content 2012-01-02 15:39:00 +01:00
Yann Esposito (Yogsototh)
f89660a79e Corrected style of graph + iphone bug 2011-12-07 16:40:03 +01:00