BUGSENG Mailman
Sign In
Sign Up
Manage this list
Sign In
Sign Up
×
Keyboard Shortcuts
Thread View
j
: Next unread message
k
: Previous unread message
j a
: Jump to all threads
j l
: Jump to MailingList overview
PPL-devel
Thread
Start a new thread
Download
Threads by
month
----- 2026 -----
January
----- 2025 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2024 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2023 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2022 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2021 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2020 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2019 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2018 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2017 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2016 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2015 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2014 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2013 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2012 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2011 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2010 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2009 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2008 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2007 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2006 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2005 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2004 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2003 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2002 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2001 -----
December
November
October
September
August
July
June
ppl-devel@bugseng.com
April 2012
7 participants
102 discussions
[GIT] ppl/ppl(ppl-0_12-branch): Updated for Doxygen 1.8.0.
by Roberto Bagnara
01 Apr '12
01 Apr '12
Module: ppl/ppl Branch: ppl-0_12-branch Commit: ab71409476eee8f3c120b0a481eb767819eb935a URL:
http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab71409476ee…
Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 1 07:53:29 2012 +0200 Updated for Doxygen 1.8.0. --- doc/devref-language-interface.doxyconf.in | 14 ++++++++++++-- doc/devref.doxyconf-html.in | 14 ++++++++++++-- doc/devref.doxyconf-latex.in | 14 ++++++++++++-- doc/user-language-interface.doxyconf.in | 14 ++++++++++++-- doc/user.doxyconf-html.in | 14 ++++++++++++-- doc/user.doxyconf-latex.in | 14 ++++++++++++-- 6 files changed, 72 insertions(+), 12 deletions(-) Diff:
http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ab714094…
1
0
0
0
[GIT] ppl/ppl(master): Updated for Doxygen 1.8.0.
by Roberto Bagnara
01 Apr '12
01 Apr '12
Module: ppl/ppl Branch: master Commit: ab71409476eee8f3c120b0a481eb767819eb935a URL:
http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab71409476ee…
Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 1 07:53:29 2012 +0200 Updated for Doxygen 1.8.0. --- doc/devref-language-interface.doxyconf.in | 14 ++++++++++++-- doc/devref.doxyconf-html.in | 14 ++++++++++++-- doc/devref.doxyconf-latex.in | 14 ++++++++++++-- doc/user-language-interface.doxyconf.in | 14 ++++++++++++-- doc/user.doxyconf-html.in | 14 ++++++++++++-- doc/user.doxyconf-latex.in | 14 ++++++++++++-- 6 files changed, 72 insertions(+), 12 deletions(-) Diff:
http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ab714094…
1
0
0
0
← Newer
1
...
8
9
10
11
Older →
Jump to page:
1
2
3
4
5
6
7
8
9
10
11
Results per page:
10
25
50
100
200