summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Francesco Mazzoli [Thu, 27 Jun 2013 09:15:06 +0000 (10:15 +0100)]
...
Francesco Mazzoli [Wed, 26 Jun 2013 23:06:13 +0000 (00:06 +0100)]
...
Francesco Mazzoli [Wed, 26 Jun 2013 23:02:00 +0000 (00:02 +0100)]
...
Francesco Mazzoli [Mon, 24 Jun 2013 15:47:12 +0000 (16:47 +0100)]
...
Francesco Mazzoli [Mon, 24 Jun 2013 14:35:47 +0000 (15:35 +0100)]
...
Francesco Mazzoli [Mon, 24 Jun 2013 12:29:16 +0000 (13:29 +0100)]
...
Francesco Mazzoli [Mon, 24 Jun 2013 09:33:46 +0000 (10:33 +0100)]
...
Francesco Mazzoli [Mon, 24 Jun 2013 00:30:34 +0000 (01:30 +0100)]
...
Francesco Mazzoli [Sun, 23 Jun 2013 17:34:47 +0000 (18:34 +0100)]
...
Francesco Mazzoli [Sun, 23 Jun 2013 14:07:05 +0000 (15:07 +0100)]
...
Francesco Mazzoli [Sun, 23 Jun 2013 14:00:56 +0000 (15:00 +0100)]
...
Francesco Mazzoli [Sun, 23 Jun 2013 12:56:03 +0000 (13:56 +0100)]
presentation
Francesco Mazzoli [Sun, 23 Jun 2013 11:08:49 +0000 (12:08 +0100)]
..>
Francesco Mazzoli [Sat, 22 Jun 2013 16:06:40 +0000 (17:06 +0100)]
...
Francesco Mazzoli [Tue, 18 Jun 2013 04:54:26 +0000 (05:54 +0100)]
the war is over johnny
Francesco Mazzoli [Mon, 17 Jun 2013 21:46:44 +0000 (22:46 +0100)]
...
Francesco Mazzoli [Sat, 15 Jun 2013 21:59:52 +0000 (22:59 +0100)]
introduction
Francesco Mazzoli [Sat, 15 Jun 2013 10:48:12 +0000 (11:48 +0100)]
add agda.sty, to be safe
Francesco Mazzoli [Fri, 14 Jun 2013 16:38:59 +0000 (17:38 +0100)]
...
Francesco Mazzoli [Fri, 14 Jun 2013 12:23:59 +0000 (13:23 +0100)]
foo
Francesco Mazzoli [Fri, 14 Jun 2013 00:07:45 +0000 (01:07 +0100)]
...
Francesco Mazzoli [Thu, 13 Jun 2013 01:16:14 +0000 (02:16 +0100)]
lul
Francesco Mazzoli [Thu, 13 Jun 2013 01:15:11 +0000 (02:15 +0100)]
...
Francesco Mazzoli [Wed, 12 Jun 2013 13:29:42 +0000 (14:29 +0100)]
...
Francesco Mazzoli [Tue, 11 Jun 2013 15:36:47 +0000 (16:36 +0100)]
...
Francesco Mazzoli [Tue, 11 Jun 2013 11:24:52 +0000 (12:24 +0100)]
...
Francesco Mazzoli [Tue, 11 Jun 2013 00:14:23 +0000 (01:14 +0100)]
more report
Francesco Mazzoli [Mon, 10 Jun 2013 18:47:42 +0000 (19:47 +0100)]
...
Francesco Mazzoli [Mon, 10 Jun 2013 16:03:52 +0000 (17:03 +0100)]
...
Francesco Mazzoli [Fri, 7 Jun 2013 14:32:55 +0000 (15:32 +0100)]
...
Francesco Mazzoli [Wed, 5 Jun 2013 23:05:57 +0000 (00:05 +0100)]
sigh
Francesco Mazzoli [Mon, 3 Jun 2013 14:37:24 +0000 (15:37 +0100)]
...
Francesco Mazzoli [Wed, 29 May 2013 17:43:22 +0000 (18:43 +0100)]
more report stuff
Francesco Mazzoli [Fri, 24 May 2013 00:27:33 +0000 (01:27 +0100)]
...
Francesco Mazzoli [Wed, 22 May 2013 18:17:05 +0000 (19:17 +0100)]
more progress
Francesco Mazzoli [Wed, 22 May 2013 11:51:55 +0000 (12:51 +0100)]
hide module declaration
Francesco Mazzoli [Wed, 22 May 2013 11:51:32 +0000 (12:51 +0100)]
committed file by mistake
Francesco Mazzoli [Wed, 22 May 2013 11:26:59 +0000 (12:26 +0100)]
thesis stub
Francesco Mazzoli [Mon, 28 Jan 2013 17:07:12 +0000 (17:07 +0000)]
docs top level
Francesco Mazzoli [Mon, 28 Jan 2013 17:06:53 +0000 (17:06 +0000)]
stuff!
Francesco Mazzoli [Wed, 16 Jan 2013 17:26:42 +0000 (17:26 +0000)]
renaming, more stuff
Francesco Mazzoli [Tue, 15 Jan 2013 15:27:18 +0000 (15:27 +0000)]
notes
Francesco Mazzoli [Tue, 15 Jan 2013 15:26:37 +0000 (15:26 +0000)]
more stuff
Francesco Mazzoli [Sun, 13 Jan 2013 21:33:35 +0000 (21:33 +0000)]
more stuff
Francesco Mazzoli [Sat, 12 Jan 2013 17:48:12 +0000 (17:48 +0000)]
more stuff
Francesco Mazzoli [Wed, 9 Jan 2013 15:54:05 +0000 (15:54 +0000)]
report report
Francesco Mazzoli [Sun, 6 Jan 2013 14:08:08 +0000 (14:08 +0000)]
more stuff
Francesco Mazzoli [Sat, 5 Jan 2013 14:56:49 +0000 (14:56 +0000)]
more background report
Francesco Mazzoli [Mon, 17 Dec 2012 18:49:37 +0000 (18:49 +0000)]
more background
Francesco Mazzoli [Mon, 17 Dec 2012 16:21:57 +0000 (16:21 +0000)]
more background
Francesco Mazzoli [Sun, 16 Dec 2012 17:41:12 +0000 (17:41 +0000)]
lambda-calculus stuff
Francesco Mazzoli [Fri, 14 Dec 2012 14:29:58 +0000 (14:29 +0000)]
initial files
projects / bitonic-mengthesis.git / log