homepage.git
6 years agoresearch page: add membership to OSDOC 2013 PC
Stefano Zacchiroli [Fri, 19 Apr 2013 16:13:23 +0000 (18:13 +0200)]
research page: add membership to OSDOC 2013 PC

6 years agohomepage: add href to dpl
Stefano Zacchiroli [Thu, 18 Apr 2013 16:55:15 +0000 (18:55 +0200)]
homepage: add href to dpl

6 years agoAdded a comment: Legal Spring Cleaning
aicra [Wed, 17 Apr 2013 08:33:15 +0000 (10:33 +0200)]
Added a comment: Legal Spring Cleaning

6 years agonew blog post: bits from the DPL for March-April 2013
Stefano Zacchiroli [Tue, 16 Apr 2013 14:52:44 +0000 (16:52 +0200)]
new blog post: bits from the DPL for March-April 2013

6 years agofrontpage: typo
Stefano Zacchiroli [Tue, 16 Apr 2013 07:59:38 +0000 (09:59 +0200)]
frontpage: typo

6 years agofrontpage: update DPL mention
Stefano Zacchiroli [Tue, 16 Apr 2013 07:58:48 +0000 (09:58 +0200)]
frontpage: update DPL mention

6 years agoed6: publish tp5 and auxiliary files
Stefano Zacchiroli [Mon, 15 Apr 2013 16:25:42 +0000 (18:25 +0200)]
ed6: publish tp5 and auxiliary files

6 years agolast theater piece
Stefano Zacchiroli [Sat, 13 Apr 2013 12:10:49 +0000 (14:10 +0200)]
last theater piece

6 years agoicalp 2013 paper: add "to appear" mention
Stefano Zacchiroli [Sat, 13 Apr 2013 12:09:46 +0000 (14:09 +0200)]
icalp 2013 paper: add "to appear" mention

6 years agopublications: new paper at ICALP 2013
Stefano Zacchiroli [Sat, 13 Apr 2013 12:07:27 +0000 (14:07 +0200)]
publications: new paper at ICALP 2013

6 years agoadd 2 recent reads
Stefano Zacchiroli [Fri, 12 Apr 2013 08:17:27 +0000 (10:17 +0200)]
add 2 recent reads

6 years agogla: publish 6
Stefano Zacchiroli [Thu, 11 Apr 2013 12:27:27 +0000 (14:27 +0200)]
gla: publish 6

6 years agohomepage: remove OpenSym highlight (deadline has passed)
Stefano Zacchiroli [Thu, 11 Apr 2013 09:03:45 +0000 (11:03 +0200)]
homepage: remove OpenSym highlight (deadline has passed)

6 years agoed6: publish cours 7
Stefano Zacchiroli [Mon, 8 Apr 2013 10:12:21 +0000 (12:12 +0200)]
ed6: publish cours 7

6 years agogpg key: new signatures
Stefano Zacchiroli [Tue, 2 Apr 2013 13:29:46 +0000 (15:29 +0200)]
gpg key: new signatures

6 years agoed6: publish tp 4
Stefano Zacchiroli [Tue, 2 Apr 2013 08:24:00 +0000 (10:24 +0200)]
ed6: publish tp 4

6 years agolast movie
Stefano Zacchiroli [Tue, 2 Apr 2013 07:34:48 +0000 (09:34 +0200)]
last movie

6 years agolast movie
Stefano Zacchiroli [Sat, 30 Mar 2013 22:20:14 +0000 (23:20 +0100)]
last movie

6 years agoed6: publish support files for tp4
Stefano Zacchiroli [Fri, 29 Mar 2013 16:57:37 +0000 (17:57 +0100)]
ed6: publish support files for tp4

6 years agogpg key: new signatures
Stefano Zacchiroli [Fri, 29 Mar 2013 16:46:33 +0000 (17:46 +0100)]
gpg key: new signatures

6 years agohacking: mention FSF membership, with referral code
Stefano Zacchiroli [Fri, 29 Mar 2013 12:24:16 +0000 (13:24 +0100)]
hacking: mention FSF membership, with referral code

6 years agogla: publish cours 5
Stefano Zacchiroli [Wed, 27 Mar 2013 13:06:07 +0000 (14:06 +0100)]
gla: publish cours 5

6 years agoed6: publish tp 3
Stefano Zacchiroli [Wed, 20 Mar 2013 00:46:14 +0000 (20:46 -0400)]
ed6: publish tp 3

6 years agoed6: publish 6
Stefano Zacchiroli [Wed, 20 Mar 2013 00:45:00 +0000 (20:45 -0400)]
ed6: publish 6

6 years agoed6: publish tp3-files
Stefano Zacchiroli [Mon, 18 Mar 2013 11:51:48 +0000 (12:51 +0100)]
ed6: publish tp3-files

6 years agolast movie
Stefano Zacchiroli [Sun, 17 Mar 2013 22:41:08 +0000 (23:41 +0100)]
last movie

6 years agonew blog post: bits from the DPL for February 2013 (and a half)
Stefano Zacchiroli [Sat, 16 Mar 2013 18:19:09 +0000 (19:19 +0100)]
new blog post: bits from the DPL for February 2013 (and a half)

6 years agolast bits post: fix missing href markup
Stefano Zacchiroli [Sat, 16 Mar 2013 13:10:41 +0000 (14:10 +0100)]
last bits post: fix missing href markup

6 years agohighlight: extended deadline for open sym 2013
Stefano Zacchiroli [Thu, 14 Mar 2013 14:37:26 +0000 (15:37 +0100)]
highlight: extended deadline for open sym 2013

6 years agogla: publish 4
Stefano Zacchiroli [Wed, 6 Mar 2013 09:35:08 +0000 (10:35 +0100)]
gla: publish 4

6 years agolast movie
Stefano Zacchiroli [Sun, 3 Mar 2013 22:52:33 +0000 (23:52 +0100)]
last movie

6 years agolast movie
Stefano Zacchiroli [Fri, 1 Mar 2013 22:08:22 +0000 (23:08 +0100)]
last movie

6 years agoed6: update version of tp2, correcting url typos
Stefano Zacchiroli [Thu, 28 Feb 2013 12:07:44 +0000 (13:07 +0100)]
ed6: update version of tp2, correcting url typos

6 years agoed6: publish 5
Stefano Zacchiroli [Thu, 28 Feb 2013 12:01:54 +0000 (13:01 +0100)]
ed6: publish 5

6 years agoed6: publish cours 4 and td 2
Stefano Zacchiroli [Wed, 20 Feb 2013 12:28:52 +0000 (13:28 +0100)]
ed6: publish cours 4 and td 2

6 years agohomepage: drop "UFR" mention from (PPS) address
Stefano Zacchiroli [Wed, 20 Feb 2013 11:53:05 +0000 (12:53 +0100)]
homepage: drop "UFR" mention from (PPS) address

6 years agogla: publish svn hosting info
Stefano Zacchiroli [Mon, 18 Feb 2013 12:58:12 +0000 (13:58 +0100)]
gla: publish svn hosting info

6 years agopersonal art logs: s/This year/2013/
Stefano Zacchiroli [Sun, 17 Feb 2013 22:05:53 +0000 (23:05 +0100)]
personal art logs: s/This year/2013/

6 years agolast opera
Stefano Zacchiroli [Sun, 17 Feb 2013 22:03:38 +0000 (23:03 +0100)]
last opera

6 years agotheater: open new year
Stefano Zacchiroli [Sun, 17 Feb 2013 22:02:06 +0000 (23:02 +0100)]
theater: open new year

6 years ago(not so) last piece
Stefano Zacchiroli [Sun, 17 Feb 2013 22:01:48 +0000 (23:01 +0100)]
(not so) last piece

6 years agomutt/orgmode integration: point to new Git repo
Stefano Zacchiroli [Sun, 17 Feb 2013 17:04:29 +0000 (18:04 +0100)]
mutt/orgmode integration: point to new Git repo

6 years agofix some more dangling gitweb links to git.upsilon.cc
Stefano Zacchiroli [Sun, 17 Feb 2013 09:59:17 +0000 (10:59 +0100)]
fix some more dangling gitweb links to git.upsilon.cc

thanks tbm for spotting

6 years agogpg key: new signatures
Stefano Zacchiroli [Sat, 16 Feb 2013 11:06:30 +0000 (12:06 +0100)]
gpg key: new signatures

6 years agopapers: remove unicode extended characters from abstracts
Stefano Zacchiroli [Sat, 16 Feb 2013 11:06:10 +0000 (12:06 +0100)]
papers: remove unicode extended characters from abstracts

to reduce the impact of char encoding issues in BiBTeX files

most notably: replace — with ,

6 years agogit.upsilon.cc move: fix dangling links
Stefano Zacchiroli [Fri, 15 Feb 2013 18:19:42 +0000 (19:19 +0100)]
git.upsilon.cc move: fix dangling links

6 years agoRevert "Revert "Revert "check in test"""
Stefano Zacchiroli [Fri, 15 Feb 2013 18:15:46 +0000 (19:15 +0100)]
Revert "Revert "Revert "check in test"""

This reverts commit eba2952198df3dc88f0a81d9820a3847f69988ba.

This also ends the revert game, now that the umask issue is fixed.

6 years agoRevert "Revert "check in test""
Stefano Zacchiroli [Fri, 15 Feb 2013 18:15:24 +0000 (19:15 +0100)]
Revert "Revert "check in test""

This reverts commit 3f6018106cdaad89e85c83bb5229d0e0aa662392.

6 years agoRevert "check in test"
Stefano Zacchiroli [Fri, 15 Feb 2013 18:14:32 +0000 (19:14 +0100)]
Revert "check in test"

This reverts commit 5f4a00b5d0dcab214cea19df2dbb7775c8dc94b0.

6 years agocheck in test
Stefano Zacchiroli [Fri, 15 Feb 2013 18:13:59 +0000 (19:13 +0100)]
check in test

6 years agogla: publish td 1
Stefano Zacchiroli [Fri, 15 Feb 2013 18:00:05 +0000 (19:00 +0100)]
gla: publish td 1

6 years agoThis reverts commit 5c2624a7faf6735931daa3a98e019399dc9101b7
zack [Fri, 15 Feb 2013 17:58:24 +0000 (18:58 +0100)]
This reverts commit 5c2624a7faf6735931daa3a98e019399dc9101b7

6 years ago(no commit message)
zack [Fri, 15 Feb 2013 17:54:19 +0000 (18:54 +0100)]

6 years agolast movie
Stefano Zacchiroli [Thu, 14 Feb 2013 22:51:49 +0000 (23:51 +0100)]
last movie

6 years agoswitch gla, poca, progsyst to RSS-based approach for course material
Stefano Zacchiroli [Wed, 13 Feb 2013 22:21:24 +0000 (23:21 +0100)]
switch gla, poca, progsyst to RSS-based approach for course material

6 years agonew approach to publish course material: inline + RSS feed
Stefano Zacchiroli [Wed, 13 Feb 2013 22:18:15 +0000 (23:18 +0100)]
new approach to publish course material: inline + RSS feed

apply it to ED6

6 years agohomepage: better typesetting of SG address
Stefano Zacchiroli [Wed, 13 Feb 2013 14:49:52 +0000 (15:49 +0100)]
homepage: better typesetting of SG address

6 years agohomepage: line wrap office number
zack [Wed, 13 Feb 2013 14:47:08 +0000 (15:47 +0100)]
homepage: line wrap office number

6 years agohomepage: add line break to address
Stefano Zacchiroli [Wed, 13 Feb 2013 14:46:14 +0000 (15:46 +0100)]
homepage: add line break to address

6 years agohomepage: updated contact info for Sophie Germain
Stefano Zacchiroli [Wed, 13 Feb 2013 14:45:07 +0000 (15:45 +0100)]
homepage: updated contact info for Sophie Germain

6 years agogla: publish git hosting info
Stefano Zacchiroli [Wed, 13 Feb 2013 13:05:12 +0000 (14:05 +0100)]
gla: publish git hosting info

6 years agoprojlong: fix git instruction typo (still referring to ed6)
Stefano Zacchiroli [Wed, 13 Feb 2013 12:13:26 +0000 (13:13 +0100)]
projlong: fix git instruction typo (still referring to ed6)

6 years agogla: publish cours 3
Stefano Zacchiroli [Wed, 13 Feb 2013 12:04:51 +0000 (13:04 +0100)]
gla: publish cours 3

6 years agoteaching: drop remaining .git suffix from hosting info
Stefano Zacchiroli [Tue, 12 Feb 2013 09:17:32 +0000 (10:17 +0100)]
teaching: drop remaining .git suffix from hosting info

6 years agoed6: publish cours 03
Stefano Zacchiroli [Tue, 12 Feb 2013 09:16:28 +0000 (10:16 +0100)]
ed6: publish cours 03

6 years agoteaching: drop trailing ".git" from git clone info
Stefano Zacchiroli [Tue, 12 Feb 2013 08:00:29 +0000 (09:00 +0100)]
teaching: drop trailing ".git" from git clone info

6 years agohomepage highlights -= RELENG 2013 (deadline passed)
Stefano Zacchiroli [Mon, 11 Feb 2013 19:35:44 +0000 (20:35 +0100)]
homepage highlights -= RELENG 2013 (deadline passed)

6 years agoteaching: mention .out in Git hosting info
Stefano Zacchiroli [Mon, 11 Feb 2013 17:13:09 +0000 (18:13 +0100)]
teaching: mention .out in Git hosting info

6 years agoteaching: update Git info w/ caseness and git clone info
Stefano Zacchiroli [Mon, 11 Feb 2013 17:08:48 +0000 (18:08 +0100)]
teaching: update Git info w/ caseness and git clone info

6 years agotp-1: updated version of support file
Stefano Zacchiroli [Mon, 11 Feb 2013 15:47:29 +0000 (16:47 +0100)]
tp-1: updated version of support file

6 years agoed6: publish info about Git hosting
Stefano Zacchiroli [Mon, 11 Feb 2013 13:42:04 +0000 (14:42 +0100)]
ed6: publish info about Git hosting

6 years agobits blog post: fix markup for ^W
Stefano Zacchiroli [Mon, 11 Feb 2013 12:58:06 +0000 (13:58 +0100)]
bits blog post: fix markup for ^W

thanks Enrico Tassi for the bug report

6 years agogla: publish cours 2
Stefano Zacchiroli [Mon, 11 Feb 2013 09:50:28 +0000 (10:50 +0100)]
gla: publish cours 2

6 years agoprojlong: publish Git hosting info
Stefano Zacchiroli [Mon, 11 Feb 2013 09:16:05 +0000 (10:16 +0100)]
projlong: publish Git hosting info

6 years agolast bits post: fix typo in trailer about day-to-day activity log
Stefano Zacchiroli [Sun, 10 Feb 2013 21:26:48 +0000 (22:26 +0100)]
last bits post: fix typo in trailer about day-to-day activity log

thanks Nicolas Dandrimont for the bug report

6 years agonew blog post: bits from the DPL for January 2013
Stefano Zacchiroli [Sun, 10 Feb 2013 17:36:27 +0000 (18:36 +0100)]
new blog post: bits from the DPL for January 2013

6 years agolast movie
Stefano Zacchiroli [Sat, 9 Feb 2013 23:16:03 +0000 (00:16 +0100)]
last movie

6 years agoPPS url: use the univ-paris-diderot.fr domain
Stefano Zacchiroli [Thu, 7 Feb 2013 20:52:31 +0000 (21:52 +0100)]
PPS url: use the univ-paris-diderot.fr domain

6 years agohighlight: fix RELENG submission deadline
Stefano Zacchiroli [Thu, 7 Feb 2013 20:52:16 +0000 (21:52 +0100)]
highlight: fix RELENG submission deadline

oops

6 years agogpg key: new signatures
Stefano Zacchiroli [Thu, 7 Feb 2013 07:56:26 +0000 (08:56 +0100)]
gpg key: new signatures

6 years agoed6: publish cours 2, tp 1
Stefano Zacchiroli [Tue, 5 Feb 2013 10:56:03 +0000 (11:56 +0100)]
ed6: publish cours 2, tp 1

6 years agoed6: check in support file for TP1
Stefano Zacchiroli [Thu, 31 Jan 2013 16:38:35 +0000 (17:38 +0100)]
ed6: check in support file for TP1

6 years agoresearch: add mention of the opensym 2013 PC
Stefano Zacchiroli [Thu, 31 Jan 2013 11:23:43 +0000 (12:23 +0100)]
research: add mention of the opensym 2013 PC

6 years agopublications: add MSR 2012 papers on conflicts
Stefano Zacchiroli [Thu, 31 Jan 2013 10:05:40 +0000 (11:05 +0100)]
publications: add MSR 2012 papers on conflicts

apparently, it has been forgotten up to now

6 years agoadd page for flashproxy test
Stefano Zacchiroli [Wed, 30 Jan 2013 17:23:10 +0000 (18:23 +0100)]
add page for flashproxy test

6 years agoOPENSYM highlight: fix paper submission deadline
Stefano Zacchiroli [Wed, 30 Jan 2013 12:06:14 +0000 (13:06 +0100)]
OPENSYM highlight: fix paper submission deadline

6 years agohomepage: add OPENSYM 2013 highlight
Stefano Zacchiroli [Wed, 30 Jan 2013 12:05:05 +0000 (13:05 +0100)]
homepage: add OPENSYM 2013 highlight

6 years agogla: publish cours 01
Stefano Zacchiroli [Wed, 30 Jan 2013 12:00:32 +0000 (13:00 +0100)]
gla: publish cours 01

6 years ago(no commit message)
zack [Tue, 29 Jan 2013 11:58:34 +0000 (12:58 +0100)]

6 years agoGLA page: fix markup error
Stefano Zacchiroli [Tue, 29 Jan 2013 11:58:09 +0000 (12:58 +0100)]
GLA page: fix markup error

6 years agoteaching: create GLA page for 2012/2013
Stefano Zacchiroli [Tue, 29 Jan 2013 11:57:29 +0000 (12:57 +0100)]
teaching: create GLA page for 2012/2013

6 years agoed6: publish cours 1
Stefano Zacchiroli [Tue, 29 Jan 2013 10:23:34 +0000 (11:23 +0100)]
ed6: publish cours 1

6 years agoteaching: add page for course ED6
Stefano Zacchiroli [Mon, 28 Jan 2013 21:16:44 +0000 (22:16 +0100)]
teaching: add page for course ED6

6 years agolast movie
Stefano Zacchiroli [Sun, 27 Jan 2013 00:25:15 +0000 (01:25 +0100)]
last movie

6 years agolast movie
Stefano Zacchiroli [Fri, 25 Jan 2013 23:50:53 +0000 (00:50 +0100)]
last movie

6 years agoteaching: make poject long point to jb page
Stefano Zacchiroli [Thu, 24 Jan 2013 18:37:45 +0000 (19:37 +0100)]
teaching: make poject long point to jb page

6 years agolast book
Stefano Zacchiroli [Sun, 20 Jan 2013 09:44:39 +0000 (10:44 +0100)]
last book

6 years agolast movie
Stefano Zacchiroli [Sat, 19 Jan 2013 23:07:27 +0000 (00:07 +0100)]
last movie

6 years agogpg key: new signatures
Stefano Zacchiroli [Tue, 15 Jan 2013 09:10:37 +0000 (10:10 +0100)]
gpg key: new signatures

6 years agolast movie
Stefano Zacchiroli [Sat, 12 Jan 2013 09:52:06 +0000 (10:52 +0100)]
last movie