homepage.git
5 years agogpg key: new signatures
Stefano Zacchiroli [Wed, 22 Jan 2014 20:46:59 +0000 (21:46 +0100)]
gpg key: new signatures

5 years agoll4: publish courses 1 and 2
Stefano Zacchiroli [Wed, 22 Jan 2014 14:19:52 +0000 (15:19 +0100)]
ll4: publish courses 1 and 2

5 years agoteaching: publish page for ED6
Stefano Zacchiroli [Tue, 21 Jan 2014 23:28:04 +0000 (00:28 +0100)]
teaching: publish page for ED6

5 years agoteaching: update DidEL info for LL4
Stefano Zacchiroli [Tue, 21 Jan 2014 23:00:17 +0000 (00:00 +0100)]
teaching: update DidEL info for LL4

5 years agoteaching: publish GLA page
Stefano Zacchiroli [Tue, 21 Jan 2014 23:00:03 +0000 (00:00 +0100)]
teaching: publish GLA page

5 years agoteaching: reorder 2nd semester courses by relevance
Stefano Zacchiroli [Tue, 21 Jan 2014 14:14:24 +0000 (15:14 +0100)]
teaching: reorder 2nd semester courses by relevance

5 years agoteaching: add prefix acronyms to all courses
Stefano Zacchiroli [Tue, 21 Jan 2014 14:09:25 +0000 (15:09 +0100)]
teaching: add prefix acronyms to all courses

5 years agoll4: add link to dep. sciences exactes
Stefano Zacchiroli [Tue, 21 Jan 2014 14:08:01 +0000 (15:08 +0100)]
ll4: add link to dep. sciences exactes

5 years agolast movie
Stefano Zacchiroli [Tue, 21 Jan 2014 08:09:36 +0000 (09:09 +0100)]
last movie

5 years agoteaching: publish ll4 page
Stefano Zacchiroli [Tue, 21 Jan 2014 08:09:07 +0000 (09:09 +0100)]
teaching: publish ll4 page

5 years agoteaching: add 2nd semester courses
Stefano Zacchiroli [Mon, 20 Jan 2014 17:44:17 +0000 (18:44 +0100)]
teaching: add 2nd semester courses

5 years agopapers page: add links to DBLP and Google Scholar profiles
Stefano Zacchiroli [Sat, 18 Jan 2014 15:49:42 +0000 (16:49 +0100)]
papers page: add links to DBLP and Google Scholar profiles

5 years agogpg key: new signatures
Stefano Zacchiroli [Sat, 18 Jan 2014 15:09:14 +0000 (16:09 +0100)]
gpg key: new signatures

5 years agolast book: fix markdown error
Stefano Zacchiroli [Fri, 17 Jan 2014 23:06:04 +0000 (00:06 +0100)]
last book: fix markdown error

5 years agolast book
Stefano Zacchiroli [Fri, 17 Jan 2014 23:05:01 +0000 (00:05 +0100)]
last book

5 years agohighlights: use path sorting to be able to fix an order
Stefano Zacchiroli [Fri, 17 Jan 2014 10:38:53 +0000 (11:38 +0100)]
highlights: use path sorting to be able to fix an order

5 years agoadd RELENG 2014 highlight
Stefano Zacchiroli [Fri, 17 Jan 2014 08:25:57 +0000 (09:25 +0100)]
add RELENG 2014 highlight

5 years agonew blog post: forthcoming talks
Stefano Zacchiroli [Tue, 14 Jan 2014 10:12:15 +0000 (11:12 +0100)]
new blog post: forthcoming talks

5 years agonew blog post: sospensione podcast non ufficiale di caterpillar
Stefano Zacchiroli [Tue, 14 Jan 2014 09:57:08 +0000 (10:57 +0100)]
new blog post: sospensione podcast non ufficiale di caterpillar

5 years agocaterpillar podcast update 2014: servizio sospeso
Stefano Zacchiroli [Tue, 14 Jan 2014 09:19:04 +0000 (10:19 +0100)]
caterpillar podcast update 2014: servizio sospeso

5 years agolast book
Stefano Zacchiroli [Sun, 12 Jan 2014 19:52:26 +0000 (20:52 +0100)]
last book

5 years agolast book
Stefano Zacchiroli [Thu, 9 Jan 2014 22:12:35 +0000 (23:12 +0100)]
last book

5 years agolast opera
Stefano Zacchiroli [Thu, 9 Jan 2014 22:10:25 +0000 (23:10 +0100)]
last opera

5 years agoAdded a comment: different approach
https://openid.stackexchange.com/user/07a2d9fc-965f-4e97-87d8-51737b7102cc [Thu, 9 Jan 2014 15:11:08 +0000 (16:11 +0100)]
Added a comment: different approach

5 years agocultural logs: open 2014 entries
Stefano Zacchiroli [Fri, 3 Jan 2014 11:09:15 +0000 (12:09 +0100)]
cultural logs: open 2014 entries

5 years agolast movie
Stefano Zacchiroli [Tue, 31 Dec 2013 14:26:40 +0000 (15:26 +0100)]
last movie

5 years agolast movie
Stefano Zacchiroli [Sun, 29 Dec 2013 08:57:53 +0000 (09:57 +0100)]
last movie

5 years agolast movie
Stefano Zacchiroli [Wed, 25 Dec 2013 00:38:57 +0000 (01:38 +0100)]
last movie

5 years agolast movie
Stefano Zacchiroli [Sat, 21 Dec 2013 22:07:01 +0000 (23:07 +0100)]
last movie

5 years agolast movie
Stefano Zacchiroli [Sat, 21 Dec 2013 20:48:28 +0000 (21:48 +0100)]
last movie

5 years agogpg key: new signatures
Stefano Zacchiroli [Tue, 17 Dec 2013 23:32:32 +0000 (00:32 +0100)]
gpg key: new signatures

5 years agolast book
Stefano Zacchiroli [Tue, 17 Dec 2013 23:32:20 +0000 (00:32 +0100)]
last book

5 years agolast movie
Stefano Zacchiroli [Tue, 17 Dec 2013 23:30:37 +0000 (00:30 +0100)]
last movie

5 years agoAdded a comment: Emacs newbie here!
hugo [Tue, 17 Dec 2013 11:01:40 +0000 (12:01 +0100)]
Added a comment: Emacs newbie here!

5 years agoprogsyst: publish cours 9
Stefano Zacchiroli [Fri, 13 Dec 2013 11:50:50 +0000 (12:50 +0100)]
progsyst: publish cours 9

5 years agolast movie
Stefano Zacchiroli [Thu, 12 Dec 2013 08:09:31 +0000 (09:09 +0100)]
last movie

5 years agopapers: add publishing info for SPE WT 2012 editorial
Stefano Zacchiroli [Mon, 9 Dec 2013 17:59:28 +0000 (18:59 +0100)]
papers: add publishing info for SPE WT 2012 editorial

5 years agolast movie
Stefano Zacchiroli [Sat, 30 Nov 2013 23:22:04 +0000 (00:22 +0100)]
last movie

5 years agoprogsyst: publish cours 8
Stefano Zacchiroli [Fri, 29 Nov 2013 11:16:11 +0000 (12:16 +0100)]
progsyst: publish cours 8

5 years agolast book
Stefano Zacchiroli [Wed, 27 Nov 2013 08:20:13 +0000 (09:20 +0100)]
last book

5 years agogpg key: new signatures
Stefano Zacchiroli [Tue, 26 Nov 2013 12:39:02 +0000 (13:39 +0100)]
gpg key: new signatures

5 years agolast opera
Stefano Zacchiroli [Tue, 26 Nov 2013 07:41:32 +0000 (08:41 +0100)]
last opera

5 years agolast movie
Stefano Zacchiroli [Tue, 26 Nov 2013 07:40:41 +0000 (08:40 +0100)]
last movie

6 years agoprogsyst: publish cours 7
Stefano Zacchiroli [Thu, 21 Nov 2013 14:05:26 +0000 (15:05 +0100)]
progsyst: publish cours 7

6 years agoremove jopp p2p/law hilight
Stefano Zacchiroli [Wed, 20 Nov 2013 08:42:28 +0000 (09:42 +0100)]
remove jopp p2p/law hilight

6 years agogpg key: new signatures
Stefano Zacchiroli [Wed, 20 Nov 2013 08:42:04 +0000 (09:42 +0100)]
gpg key: new signatures

6 years agoprogsyst: publish cours 5 and 6
Stefano Zacchiroli [Thu, 14 Nov 2013 14:16:43 +0000 (15:16 +0100)]
progsyst: publish cours 5 and 6

6 years agomethtest: publich cours and tp 3
Stefano Zacchiroli [Tue, 5 Nov 2013 09:32:49 +0000 (10:32 +0100)]
methtest: publich cours and tp 3

6 years agolast book
Stefano Zacchiroli [Fri, 25 Oct 2013 09:26:06 +0000 (11:26 +0200)]
last book

6 years agogpg key: new signatures
Stefano Zacchiroli [Fri, 25 Oct 2013 09:24:52 +0000 (11:24 +0200)]
gpg key: new signatures

6 years agoprogsyst: publish cours 4
Stefano Zacchiroli [Thu, 24 Oct 2013 13:39:22 +0000 (15:39 +0200)]
progsyst: publish cours 4

6 years agomethtest: publish cours & tp 2
Stefano Zacchiroli [Tue, 22 Oct 2013 08:30:43 +0000 (10:30 +0200)]
methtest: publish cours & tp 2

6 years agogpg key: new signatures
Stefano Zacchiroli [Mon, 21 Oct 2013 10:35:50 +0000 (12:35 +0200)]
gpg key: new signatures

6 years agogpg key: new signatures
Stefano Zacchiroli [Sun, 20 Oct 2013 19:20:17 +0000 (21:20 +0200)]
gpg key: new signatures

6 years agolast book
Stefano Zacchiroli [Sun, 20 Oct 2013 18:25:17 +0000 (20:25 +0200)]
last book

6 years agomethtest: bug fix in cours 1 bottom header
Stefano Zacchiroli [Fri, 18 Oct 2013 10:13:47 +0000 (12:13 +0200)]
methtest: bug fix in cours 1 bottom header

6 years agomethtest: update cours-1 slides
Stefano Zacchiroli [Fri, 18 Oct 2013 10:04:14 +0000 (12:04 +0200)]
methtest: update cours-1 slides

6 years agoprogsyst: publish cours-03-pipe
Stefano Zacchiroli [Thu, 17 Oct 2013 08:52:30 +0000 (10:52 +0200)]
progsyst: publish cours-03-pipe

6 years agofix org-mode version number in last post
Stefano Zacchiroli [Thu, 17 Oct 2013 07:40:04 +0000 (09:40 +0200)]
fix org-mode version number in last post

6 years agonew blog post: org-mutt ported to org-capture
Stefano Zacchiroli [Thu, 17 Oct 2013 07:36:21 +0000 (09:36 +0200)]
new blog post: org-mutt ported to org-capture

6 years agoorg-mutt blog post ported to capture
Stefano Zacchiroli [Thu, 17 Oct 2013 07:25:00 +0000 (09:25 +0200)]
org-mutt blog post ported to capture

6 years agomethtest: document homework on the course page
Stefano Zacchiroli [Wed, 16 Oct 2013 14:23:57 +0000 (16:23 +0200)]
methtest: document homework on the course page

6 years agomethtest: publish cours-1, tp-1
Stefano Zacchiroli [Tue, 15 Oct 2013 08:35:08 +0000 (10:35 +0200)]
methtest: publish cours-1, tp-1

6 years agomethtest cours: skeleton page
Stefano Zacchiroli [Mon, 14 Oct 2013 14:33:18 +0000 (16:33 +0200)]
methtest cours: skeleton page

6 years agogpg key: new signatures
Stefano Zacchiroli [Sun, 13 Oct 2013 09:14:29 +0000 (11:14 +0200)]
gpg key: new signatures

6 years agohighlight template: s/span/div/ as elements contain ul
Stefano Zacchiroli [Tue, 8 Oct 2013 13:46:03 +0000 (15:46 +0200)]
highlight template: s/span/div/ as elements contain ul

6 years agolast book
Stefano Zacchiroli [Tue, 8 Oct 2013 07:09:27 +0000 (09:09 +0200)]
last book

6 years agoprogsyst: update class schedule
Stefano Zacchiroli [Mon, 7 Oct 2013 08:19:53 +0000 (10:19 +0200)]
progsyst: update class schedule

6 years agoremove obsolete identi.ca javascript badge
Stefano Zacchiroli [Mon, 7 Oct 2013 08:15:26 +0000 (10:15 +0200)]
remove obsolete identi.ca javascript badge

6 years agohomepage: stop mentioning old 1024D GPG key
Stefano Zacchiroli [Mon, 7 Oct 2013 08:15:10 +0000 (10:15 +0200)]
homepage: stop mentioning old 1024D GPG key

6 years agonew blog post: revoked F2C423BC
Stefano Zacchiroli [Mon, 7 Oct 2013 08:12:07 +0000 (10:12 +0200)]
new blog post: revoked F2C423BC

6 years agolast movie
Stefano Zacchiroli [Tue, 1 Oct 2013 07:40:33 +0000 (09:40 +0200)]
last movie

6 years agolast book
Stefano Zacchiroli [Fri, 27 Sep 2013 13:04:12 +0000 (15:04 +0200)]
last book

6 years agonew hilight: OpenSym2014 CfP
Stefano Zacchiroli [Fri, 27 Sep 2013 09:44:04 +0000 (11:44 +0200)]
new hilight: OpenSym2014 CfP

6 years agomove course material template to wiki source
Stefano Zacchiroli [Fri, 27 Sep 2013 09:38:52 +0000 (11:38 +0200)]
move course material template to wiki source

6 years agohilights: use inline directive, and generate feeds
Stefano Zacchiroli [Fri, 27 Sep 2013 09:38:37 +0000 (11:38 +0200)]
hilights: use inline directive, and generate feeds

easier to deal with, and gets feeds as a bonus!

6 years agogpg key: new signatures
Stefano Zacchiroli [Fri, 27 Sep 2013 09:37:54 +0000 (11:37 +0200)]
gpg key: new signatures

6 years agoprogsyst: publish cours 2
Stefano Zacchiroli [Thu, 26 Sep 2013 16:37:40 +0000 (18:37 +0200)]
progsyst: publish cours 2

6 years agoprogsyst: fix typo in classroom name
Stefano Zacchiroli [Thu, 26 Sep 2013 08:29:24 +0000 (10:29 +0200)]
progsyst: fix typo in classroom name

6 years agolast movie
Stefano Zacchiroli [Sun, 22 Sep 2013 21:00:11 +0000 (23:00 +0200)]
last movie

6 years agolast movie
Stefano Zacchiroli [Sat, 21 Sep 2013 20:50:47 +0000 (22:50 +0200)]
last movie

6 years agonew blog post: sources.d.n advanced search and other news
Stefano Zacchiroli [Tue, 17 Sep 2013 16:00:38 +0000 (18:00 +0200)]
new blog post: sources.d.n advanced search and other news

6 years agohighlights += JoPP special issue on law
Stefano Zacchiroli [Mon, 16 Sep 2013 20:17:39 +0000 (22:17 +0200)]
highlights += JoPP special issue on law

6 years agohomepage: extended sacwt2014 deadline
Stefano Zacchiroli [Mon, 16 Sep 2013 16:36:51 +0000 (18:36 +0200)]
homepage: extended sacwt2014 deadline

6 years agoprogsyst: publish cours 1
Stefano Zacchiroli [Mon, 16 Sep 2013 15:53:01 +0000 (17:53 +0200)]
progsyst: publish cours 1

6 years agoteaching: poca page, year 2013/2014
Stefano Zacchiroli [Wed, 11 Sep 2013 11:59:37 +0000 (13:59 +0200)]
teaching: poca page, year 2013/2014

6 years agoteaching: pf5 page, year 2013/2014
Stefano Zacchiroli [Wed, 11 Sep 2013 11:57:05 +0000 (13:57 +0200)]
teaching: pf5 page, year 2013/2014

6 years agoteaching: progsyst page, year 2013/2014
Stefano Zacchiroli [Wed, 11 Sep 2013 11:55:46 +0000 (13:55 +0200)]
teaching: progsyst page, year 2013/2014

6 years agoteaching: adapt index page for 2013/2014
Stefano Zacchiroli [Wed, 11 Sep 2013 11:45:21 +0000 (13:45 +0200)]
teaching: adapt index page for 2013/2014

6 years agopapers: add ESOCC 2013 invited talk paper
Stefano Zacchiroli [Wed, 11 Sep 2013 09:24:42 +0000 (11:24 +0200)]
papers: add ESOCC 2013 invited talk paper

6 years agopapers: add DOI and update info for fmco2012 survey
Stefano Zacchiroli [Wed, 11 Sep 2013 09:08:27 +0000 (11:08 +0200)]
papers: add DOI and update info for fmco2012 survey

6 years agogpg key: new signatures
Stefano Zacchiroli [Wed, 11 Sep 2013 09:01:52 +0000 (11:01 +0200)]
gpg key: new signatures

6 years agoadd OpenSym 2014 to the committee
Stefano Zacchiroli [Tue, 10 Sep 2013 10:40:25 +0000 (12:40 +0200)]
add OpenSym 2014 to the committee

6 years agoRevert SPAM comment
Stefano Zacchiroli [Tue, 10 Sep 2013 10:37:18 +0000 (12:37 +0200)]
Revert SPAM comment

This reverts commit fc02ceb70c4d4fe018f8007ff9c83ac23fe947b7.

6 years agoAdded a comment: Read More
User44 [Mon, 2 Sep 2013 10:20:46 +0000 (12:20 +0200)]
Added a comment: Read More

6 years agocttes += sacwt14, jopp
Stefano Zacchiroli [Sun, 1 Sep 2013 13:36:43 +0000 (15:36 +0200)]
cttes += sacwt14, jopp

6 years agogpg keys: new signatures
Stefano Zacchiroli [Sun, 1 Sep 2013 13:31:58 +0000 (15:31 +0200)]
gpg keys: new signatures

6 years agobooks: fix markup
Stefano Zacchiroli [Thu, 29 Aug 2013 21:45:24 +0000 (23:45 +0200)]
books: fix markup

6 years agolast books
Stefano Zacchiroli [Thu, 29 Aug 2013 08:08:06 +0000 (11:08 +0300)]
last books

6 years agobooks: review biblio info for some 2013 books
Stefano Zacchiroli [Sat, 24 Aug 2013 15:06:33 +0000 (18:06 +0300)]
books: review biblio info for some 2013 books