transition: prefix_directives
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 5 Jan 2009 16:44:09 +0000 (17:44 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 5 Jan 2009 16:44:09 +0000 (17:44 +0100)
312 files changed:
about.mdwn
blog.mdwn
blog/archives.mdwn
blog/archives/2006.mdwn
blog/archives/2006/09.mdwn
blog/archives/2006/10.mdwn
blog/archives/2006/11.mdwn
blog/archives/2006/12.mdwn
blog/archives/2007.mdwn
blog/archives/2007/01.mdwn
blog/archives/2007/02.mdwn
blog/archives/2007/03.mdwn
blog/archives/2007/04.mdwn
blog/archives/2007/05.mdwn
blog/archives/2007/06.mdwn
blog/archives/2007/07.mdwn
blog/archives/2007/08.mdwn
blog/archives/2007/09.mdwn
blog/archives/2007/10.mdwn
blog/archives/2007/11.mdwn
blog/archives/2007/12.mdwn
blog/archives/2008.mdwn
blog/archives/2008/01.mdwn
blog/archives/2008/02.mdwn
blog/archives/2008/03.mdwn
blog/archives/2008/04.mdwn
blog/archives/2008/05.mdwn
blog/archives/2008/06.mdwn
blog/archives/2008/07.mdwn
blog/archives/2008/08.mdwn
blog/archives/2008/09.mdwn
blog/archives/2008/10.mdwn
blog/archives/2008/11.mdwn
blog/archives/2008/12.mdwn
blog/planet-debian.mdwn
blog/posts.mdwn
blog/posts/2006.mdwn
blog/posts/2006/09.mdwn
blog/posts/2006/09/hello_world.mdwn
blog/posts/2006/09/hello_world/discussion.mdwn
blog/posts/2006/09/xs-x-vcs-XXX.mdwn
blog/posts/2006/10.mdwn
blog/posts/2006/10/bzrtools_not_up_to_date.mdwn
blog/posts/2006/10/dear_old_mutt.mdwn
blog/posts/2006/10/iene_vs_rodota.mdwn
blog/posts/2006/10/movie_reces_1.mdwn
blog/posts/2006/10/signature_bac+bach.mdwn
blog/posts/2006/10/tomboy_mindmap.mdwn
blog/posts/2006/10/why_i_love_collab_maint.mdwn
blog/posts/2006/10/xs-vcs-XXX_almost_there.mdwn
blog/posts/2006/11.mdwn
blog/posts/2006/11/acquisti_psicologici_mancati.mdwn
blog/posts/2006/11/cdbs_relevance.mdwn
blog/posts/2006/11/editing_latex_the_vim_way.mdwn
blog/posts/2006/11/first_thoughts_on_ruby.mdwn
blog/posts/2006/11/first_thoughts_on_ruby/discussion.mdwn
blog/posts/2006/11/flickr_download.mdwn
blog/posts/2006/11/flickr_download/discussion.mdwn
blog/posts/2006/11/more_fp_in_python_2.5.mdwn
blog/posts/2006/11/my_life_wo_caps_lock.mdwn
blog/posts/2006/11/nada.mdwn
blog/posts/2006/11/stratus_i_owe_you_a_beer.mdwn
blog/posts/2006/11/versioning_etc_w_bzr.mdwn
blog/posts/2006/11/versioning_etc_w_bzr/discussion.mdwn
blog/posts/2006/11/vim_ctrl_r.mdwn
blog/posts/2006/12.mdwn
blog/posts/2006/12/as_fast_as_wikipedia.mdwn
blog/posts/2006/12/debian_karma_feel_good.mdwn
blog/posts/2006/12/debian_karma_feel_good/discussion.mdwn
blog/posts/2006/12/looking_for_a_website_markup_language.mdwn
blog/posts/2006/12/looking_for_a_website_markup_language/discussion.mdwn
blog/posts/2006/12/ls2rss.mdwn
blog/posts/2006/12/mozex_for_firefox_2.0.mdwn
blog/posts/2006/12/trac.cs.unibo.it.mdwn
blog/posts/2006/12/trac.cs.unibo.it/discussion.mdwn
blog/posts/2006/12/use_filetype_hooks_luke.mdwn
blog/posts/2007.mdwn
blog/posts/2007/01.mdwn
blog/posts/2007/01/amadeus_riscoperto.mdwn
blog/posts/2007/01/functional_ruby_s_threads.mdwn
blog/posts/2007/01/ocamlnet_2.2_in_experimental.mdwn
blog/posts/2007/01/ocamlnet_2.2_out_of_new.mdwn
blog/posts/2007/01/tickets_for_debconf7.mdwn
blog/posts/2007/01/vim_lbdbq_plugin.mdwn
blog/posts/2007/01/vim_lbdbq_plugin/discussion.mdwn
blog/posts/2007/01/yubnub.mdwn
blog/posts/2007/02.mdwn
blog/posts/2007/02/ddpo_yubnub_command.mdwn
blog/posts/2007/02/do_you_want_my_debconf7_ticket.mdwn
blog/posts/2007/02/dtd2vim.mdwn
blog/posts/2007/02/fineco_una_sicurezza.mdwn
blog/posts/2007/02/meme_esr_facts.mdwn
blog/posts/2007/02/rhythmbox_gstreamer_pipeline.mdwn
blog/posts/2007/02/rhythmbox_gstreamer_pipeline/discussion.mdwn
blog/posts/2007/02/surprising_xslt.mdwn
blog/posts/2007/02/surprising_xslt/discussion.mdwn
blog/posts/2007/02/vim-script_news.mdwn
blog/posts/2007/02/xs_vcs_browser.mdwn
blog/posts/2007/03.mdwn
blog/posts/2007/03/debian_in_gsoc.mdwn
blog/posts/2007/03/gsoc_cfp.mdwn
blog/posts/2007/03/living_in_vim.mdwn
blog/posts/2007/04.mdwn
blog/posts/2007/04/coq_as_a_geek_toy.mdwn
blog/posts/2007/04/least_responsive_developer.mdwn
blog/posts/2007/04/ocaml_3.10.0_beta_in_experimental.mdwn
blog/posts/2007/04/phd_over.mdwn
blog/posts/2007/04/post_etch_frenzy.mdwn
blog/posts/2007/04/signature_emptiness.mdwn
blog/posts/2007/04/truffaut_o_truffati.mdwn
blog/posts/2007/05.mdwn
blog/posts/2007/05/crappy_ooimpress_styles.mdwn
blog/posts/2007/05/i_had_a_dream.mdwn
blog/posts/2007/05/on_the_power_of_grillo.mdwn
blog/posts/2007/06.mdwn
blog/posts/2007/06/debcamp_excitement.mdwn
blog/posts/2007/06/gares_ipse_dixit.mdwn
blog/posts/2007/06/gnuhtml2latex.mdwn
blog/posts/2007/06/packages_svn_maintained_on_alioth.mdwn
blog/posts/2007/06/secret_identity.mdwn
blog/posts/2007/06/vim_changelog_Closes_completion.mdwn
blog/posts/2007/06/vim_policy_1st_draft.mdwn
blog/posts/2007/06/yay_for_debconf7.mdwn
blog/posts/2007/06/zenoss_in_experimental.mdwn
blog/posts/2007/07.mdwn
blog/posts/2007/07/me_on_DM.mdwn
blog/posts/2007/07/ocaml_status_page.mdwn
blog/posts/2007/07/proactive_bug_reporting.mdwn
blog/posts/2007/07/python_debfile.mdwn
blog/posts/2007/07/referendum_elettorale.mdwn
blog/posts/2007/07/uploaders_vs_maintainers.mdwn
blog/posts/2007/07/which_python_parser_generator.mdwn
blog/posts/2007/08.mdwn
blog/posts/2007/08/DD_wide_commit_on_alioth.mdwn
blog/posts/2007/08/debcheckout.mdwn
blog/posts/2007/08/debcheckout_bits.mdwn
blog/posts/2007/08/skype_che_cesso.mdwn
blog/posts/2007/09.mdwn
blog/posts/2007/09/ciao_nadia.mdwn
blog/posts/2007/09/clean_distclean.mdwn
blog/posts/2007/09/il_vento_fa_il_suo_giro.mdwn
blog/posts/2007/09/svn-cowbuilder.mdwn
blog/posts/2007/09/vim-addons-completion.mdwn
blog/posts/2007/09/vim-errorformat.mdwn
blog/posts/2007/09/w3-recs.mdwn
blog/posts/2007/10.mdwn
blog/posts/2007/10/ciao_debian_community_mondo.mdwn
blog/posts/2007/10/debian_in_ubuntu_story.mdwn
blog/posts/2007/10/debian_on_ubuntu_com_just_a_bug.mdwn
blog/posts/2007/10/vcs_browse_is_a_typo.mdwn
blog/posts/2007/10/virgin_active_bologna.mdwn
blog/posts/2007/10/virgin_active_bologna/discussion.mdwn
blog/posts/2007/11.mdwn
blog/posts/2007/11/buggy_vcs-svn_fields.mdwn
blog/posts/2007/11/homepage_field_stats.mdwn
blog/posts/2007/11/installed_size.mdwn
blog/posts/2007/11/pts_DM_and_lowNMU.mdwn
blog/posts/2007/11/rss_powered_pts.mdwn
blog/posts/2007/12.mdwn
blog/posts/2007/12/my_blog_has_moved.mdwn
blog/posts/2007/12/pts_debian_style.mdwn
blog/posts/2007/12/pts_face_lift.mdwn
blog/posts/2007/12/pts_face_lifted.mdwn
blog/posts/2007/12/scalfari_vs_binetti.mdwn
blog/posts/2007/12/stats_graph_needed.mdwn
blog/posts/2007/12/xmas_gift_new_homepage.mdwn
blog/posts/2008.mdwn
blog/posts/2008/01.mdwn
blog/posts/2008/01/PAM_hooks.mdwn
blog/posts/2008/01/adsense_powered_ikiwiki.mdwn
blog/posts/2008/01/bts_followup.mdwn
blog/posts/2008/01/caffeggio.mdwn
blog/posts/2008/01/crappy_hardware_and_debctrl_stats.mdwn
blog/posts/2008/01/debian_enhancement_proposal_SPAM.mdwn
blog/posts/2008/01/happy_newS_year.mdwn
blog/posts/2008/01/happy_newS_year/discussion.mdwn
blog/posts/2008/01/international_models.mdwn
blog/posts/2008/01/mutt_patched_key_bindings.mdwn
blog/posts/2008/01/pts_dehs_integration.mdwn
blog/posts/2008/01/signature_maintenance.mdwn
blog/posts/2008/02.mdwn
blog/posts/2008/02/XQuery_and_XSLT_2.0_with_Debian.mdwn
blog/posts/2008/02/galax_in_debian.mdwn
blog/posts/2008/02/installing_debian_on_zonbu_mini_desktop.mdwn
blog/posts/2008/02/ocaml_3.10.1_in_unstable.mdwn
blog/posts/2008/02/viaggio_di_lavoro.mdwn
blog/posts/2008/03.mdwn
blog/posts/2008/03/all_your_hotel_are_belong_to_us.mdwn
blog/posts/2008/03/dear_jane_street_no_read_more_please.mdwn
blog/posts/2008/03/debconf8_blog_post_sticker.mdwn
blog/posts/2008/03/galax_1.1.mdwn
blog/posts/2008/03/git-buildpackage_from_debian-only_to_debian+upstream.mdwn
blog/posts/2008/03/indeed_we_should_use_doc-base_more.mdwn
blog/posts/2008/03/ocaml_3.10.1_in_testing.mdwn
blog/posts/2008/03/ocaml_forge_enters_beta_testing.mdwn
blog/posts/2008/03/perl_invariant_sigils.mdwn
blog/posts/2008/03/transitioning_the_caml.mdwn
blog/posts/2008/04.mdwn
blog/posts/2008/04/all_architectures_are_equal.mdwn
blog/posts/2008/04/forge.ocamlcore.org_unleashed.mdwn
blog/posts/2008/04/land_of_lisp.mdwn
blog/posts/2008/04/moving_well_moved.mdwn
blog/posts/2008/04/not_my_president.mdwn
blog/posts/2008/04/pts_testing_transitions.mdwn
blog/posts/2008/04/unexpected_kudos_from_TBL.mdwn
blog/posts/2008/05.mdwn
blog/posts/2008/05/core_has_landed_in_Debian.mdwn
blog/posts/2008/05/debian_ocaml_news.mdwn
blog/posts/2008/05/on_maintainer_script_sizes.mdwn
blog/posts/2008/05/vcs_distribution_stats_for_packaging.mdwn
blog/posts/2008/06.mdwn
blog/posts/2008/06/debian_weather_is_back.mdwn
blog/posts/2008/06/fancy_bibliography_entry.mdwn
blog/posts/2008/06/firefox_3_un-ranting.mdwn
blog/posts/2008/06/ocaml_3.10.2_is_in_testing.mdwn
blog/posts/2008/06/signature_gotta_job.mdwn
blog/posts/2008/07.mdwn
blog/posts/2008/07/debconf8_dangerous_cheese_party.mdwn
blog/posts/2008/07/ocaml_linkedin_group.mdwn
blog/posts/2008/07/paper_about_mancoosi_at_debconf8.mdwn
blog/posts/2008/07/python-debian_w_dependency_parsing.mdwn
blog/posts/2008/07/reminder:_Homepage_pseudo_fields_are_GONE.mdwn
blog/posts/2008/07/updating_w3-recs.mdwn
blog/posts/2008/08.mdwn
blog/posts/2008/08/PTS_and_package_descriptions.mdwn
blog/posts/2008/08/PTS_integrated_with_mentors_and_gifts.mdwn
blog/posts/2008/08/edos-builddebcheck.mdwn
blog/posts/2008/08/improved_integration_among_PTS_and_Lintian.mdwn
blog/posts/2008/08/yay_from_debcamp8.mdwn
blog/posts/2008/09.mdwn
blog/posts/2008/09/bye_bye_vacations.mdwn
blog/posts/2008/09/esamificio.mdwn
blog/posts/2008/09/nuova_foto_stesso_zack.mdwn
blog/posts/2008/09/punti_di_vista.mdwn
blog/posts/2008/10.mdwn
blog/posts/2008/10/debcheckout_hacking.mdwn
blog/posts/2008/10/from_Vim_to_Emacs_-_part_1.mdwn
blog/posts/2008/10/ocaml_batteries_included_debian_packages.mdwn
blog/posts/2008/10/releasing_yummy_cookies.mdwn
blog/posts/2008/10/signature_zaino.mdwn
blog/posts/2008/10/worst_quoting_practice.mdwn
blog/posts/2008/11.mdwn
blog/posts/2008/11/PTS_SOAP_interface.mdwn
blog/posts/2008/11/batteries_alpha2_Debian_packages.mdwn
blog/posts/2008/11/camlbz2_bzip2_ocaml_bindings.mdwn
blog/posts/2008/11/debian_developer_portfolio.mdwn
blog/posts/2008/11/from_Vim_to_Emacs_-_part_2.mdwn
blog/posts/2008/11/ocaml_batteries_gzip.mdwn
blog/posts/2008/11/signature_prevert.mdwn
blog/posts/2008/12.mdwn
blog/posts/2008/12/thanks_for_the_cookies_Joss.mdwn
hacking.mdwn
hacking/debian.mdwn
hacking/software.mdwn
hacking/software/ocaml-http.mdwn
hacking/software/wowcamldebug.mdwn
index.mdwn
personal.mdwn
research.mdwn
research/publications.mdwn
tags.mdwn
tags/academia.mdwn
tags/batteries.mdwn
tags/bologna.mdwn
tags/cinema.mdwn
tags/debcheckout.mdwn
tags/debconf.mdwn
tags/debian.mdwn
tags/draft.mdwn
tags/emacs.mdwn
tags/fp.mdwn
tags/fun.mdwn
tags/git.mdwn
tags/google.mdwn
tags/gourmet.mdwn
tags/hack.mdwn
tags/italy.mdwn
tags/lang/english.mdwn
tags/lang/italian.mdwn
tags/lazyweb.mdwn
tags/logics.mdwn
tags/mancoosi.mdwn
tags/meme.mdwn
tags/mutt.mdwn
tags/ocaml.mdwn
tags/planet/debian.mdwn
tags/politics.mdwn
tags/pts.mdwn
tags/python.mdwn
tags/qa.mdwn
tags/rant.mdwn
tags/rece.mdwn
tags/ruby.mdwn
tags/signature.mdwn
tags/ubuntu.mdwn
tags/vcs.mdwn
tags/vim.mdwn
tags/web20.mdwn
tags/xml.mdwn
tags/xquery.mdwn
tags/xslt.mdwn
teaching.mdwn
teaching/0708/labprog.mdwn
teaching/0708/logica.mdwn
templates/archive_month.mdwn
templates/archive_year.mdwn
templates/course_header.mdwn
templates/tag_feeds.mdwn
wiki.mdwn
wiki/academia.mdwn
wiki/academia/reading_list.mdwn
wiki/capodanno_2009.mdwn

index 92aa593..bd5e94c 100644 (file)
@@ -1,4 +1,4 @@
-[[img img/help-about.png link="no" class="flow" alt="about"]]
+[[!img img/help-about.png link="no" class="flow" alt="about"]]
 Some facts about Zack's home page (i.e. this website):
 
  * this website content is (unless otherwise stated at the bottom of the page)
@@ -32,5 +32,5 @@ Some facts about Zack's home page (i.e. this website):
 ... on the dark side:
 
  * this website sports the following (internal) *broken links* (and yes, I
- should probably do something about them, if any): [[brokenlinks ]]
+ should probably do something about them, if any): [[!brokenlinks ]]
 
index 5e58f8b..1ffa8ac 100644 (file)
--- a/blog.mdwn
+++ b/blog.mdwn
@@ -1,6 +1,6 @@
-[[meta title="i'm in a hurry - stefano zacchiroli blog"]]
-[[meta stylesheet=blog rel="stylesheet"]]
-[[pagestats pages="tags/* and !tags/lang/* and !tags/planet/*"]]
+[[!meta title="i'm in a hurry - stefano zacchiroli blog"]]
+[[!meta stylesheet=blog rel="stylesheet"]]
+[[!pagestats pages="tags/* and !tags/lang/* and !tags/planet/*"]]
 Hi (again), I'm [[Zack|index]], and this is my blog. Have a look at the **most
 recent posts** below, or browse the **tag cloud** here on the right.
 
@@ -13,9 +13,9 @@ Please avoid messing up other people comments. Alternatively you can [mail me
 comments](mailto:zack@upsilon.cc). Note that unless otherwise requested I will
 post interesting mailed comments on the discussion pages.
 
-[[pagestats pages="tags/lang/*"]]
+[[!pagestats pages="tags/lang/*"]]
 The blog is mostly in English while sometimes in Italian; there is a (tiny
 teeny) tag cloud to **choose the language**.
 
-[[inline pages="blog/posts/*/*/* and !blog/posts/*/*/*/* and !link(tags/draft)"
+[[!inline pages="blog/posts/*/*/* and !blog/posts/*/*/*/* and !link(tags/draft)"
 show="10" actions="yes" description="I'm in a Hurry - Zack's Blog"]]
index abaca2b..98e0b94 100644 (file)
@@ -1,2 +1,2 @@
 Here you can find the yearly and monthly archives of [[my_blog|blog]].
-[[inline pages="blog/archives/*" archive="yes"]]
+[[!inline pages="blog/archives/*" archive="yes"]]
index bc575f3..da3c0e9 100644 (file)
@@ -1 +1 @@
-[[template id=archive_year year="2006"]]
+[[!template id=archive_year year="2006"]]
index b069b73..7c6da4b 100644 (file)
@@ -1,2 +1,2 @@
-[[meta date="2006-09-01"]]
-[[template id=archive_month year="2006" month="09"]]
+[[!meta date="2006-09-01"]]
+[[!template id=archive_month year="2006" month="09"]]
index 7838560..62d1363 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2006" month="10"]]
+[[!template id=archive_month year="2006" month="10"]]
index 6f3ad09..5094813 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2006" month="11"]]
+[[!template id=archive_month year="2006" month="11"]]
index 4d943c8..1b1e5b8 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2006" month="12"]]
+[[!template id=archive_month year="2006" month="12"]]
index 9a3d8ef..4c760a7 100644 (file)
@@ -1 +1 @@
-[[template id=archive_year year="2007"]]
+[[!template id=archive_year year="2007"]]
index a485a1e..84eac5d 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2007" month="01"]]
+[[!template id=archive_month year="2007" month="01"]]
index a17777c..9f48e2e 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2007" month="02"]]
+[[!template id=archive_month year="2007" month="02"]]
index c10f163..71c5396 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2007" month="03"]]
+[[!template id=archive_month year="2007" month="03"]]
index f436649..a650093 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2007" month="04"]]
+[[!template id=archive_month year="2007" month="04"]]
index 81f4850..f4e8bd6 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2007" month="05"]]
+[[!template id=archive_month year="2007" month="05"]]
index 9f6e09a..855f86c 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2007" month="06"]]
+[[!template id=archive_month year="2007" month="06"]]
index d1f6530..38e63f1 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2007" month="07"]]
+[[!template id=archive_month year="2007" month="07"]]
index ec4fd3e..638aea6 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2007" month="08"]]
+[[!template id=archive_month year="2007" month="08"]]
index c2712de..4cc85ef 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2007" month="09"]]
+[[!template id=archive_month year="2007" month="09"]]
index 848a71f..456f70d 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2007" month="10"]]
+[[!template id=archive_month year="2007" month="10"]]
index 281847f..abc3dd8 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2007" month="11"]]
+[[!template id=archive_month year="2007" month="11"]]
index 469230f..e9877bf 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2007" month="12"]]
+[[!template id=archive_month year="2007" month="12"]]
index ff880ef..cca39f8 100644 (file)
@@ -1 +1 @@
-[[template id=archive_year year="2008"]]
+[[!template id=archive_year year="2008"]]
index 7262c29..743c490 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2008" month="01"]]
+[[!template id=archive_month year="2008" month="01"]]
index 9cb8e65..e424843 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2008" month="02"]]
+[[!template id=archive_month year="2008" month="02"]]
index fb97892..9567f79 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2008" month="03"]]
+[[!template id=archive_month year="2008" month="03"]]
index 1cf2c7a..86bcdc1 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2008" month="04"]]
+[[!template id=archive_month year="2008" month="04"]]
index 157390c..a5a0e7a 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2008" month="05"]]
+[[!template id=archive_month year="2008" month="05"]]
index ec6137a..a70328d 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2008" month="06"]]
+[[!template id=archive_month year="2008" month="06"]]
index 156214b..b4efa4c 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2008" month="07"]]
+[[!template id=archive_month year="2008" month="07"]]
index 7dc83a0..5c92fed 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2008" month="08"]]
+[[!template id=archive_month year="2008" month="08"]]
index 0dc01ab..fbd531c 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2008" month="09"]]
+[[!template id=archive_month year="2008" month="09"]]
index dcfe6ab..4c61de7 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2008" month="10"]]
+[[!template id=archive_month year="2008" month="10"]]
index 7e0739b..a0d5f2f 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2008" month="11"]]
+[[!template id=archive_month year="2008" month="11"]]
index 9f7483f..2277619 100644 (file)
@@ -1 +1 @@
-[[template id=archive_month year="2008" month="12"]]
+[[!template id=archive_month year="2008" month="12"]]
index 3c5418a..cb2a620 100644 (file)
@@ -1,7 +1,7 @@
-[[meta stylesheet=blog rel="stylesheet"]]
+[[!meta stylesheet=blog rel="stylesheet"]]
 Feeds for selected posts from [[my_blog|blog]], which are targeted to the blog
 aggregation on [Planet Debian](http://planet.debian.org).
 
-[[inline pages="blog/posts/*/*/* and !blog/posts/*/*/*/* and link(tags/planet/debian) and !link(tags/draft)"
+[[!inline pages="blog/posts/*/*/* and !blog/posts/*/*/*/* and link(tags/planet/debian) and !link(tags/draft)"
 show="10" description="I'm in a Hurry - Zack's Blog (on Planet Debian)"
 feedonly]]
index e587734..a04fdb8 100644 (file)
@@ -1 +1 @@
-[[meta redir=all-posts]]
+[[!meta redir=all-posts]]
index e73e596..bc52b21 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2006]]
+[[!meta redir=archives/2006]]
index 92997c7..91a2de2 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2006/09]]
+[[!meta redir=archives/2006/09]]
index 9c2b3f5..fe5d3b0 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-09-20 18:54:38 +0200"]]
+[[!meta date="2006-09-20 18:54:38 +0200"]]
 # Hello (ikiwiki), World!\n
 
 [ikiwiki](http://ikiwiki.kitenet.net) succeeded where other competitors failed:
@@ -38,5 +38,5 @@ with a patch for these!
 
 Again and nonetheless, **kudos to Joey** for ikiwiki, it rocks!
 
-[[tag lang/english planet/debian debian]]
+[[!tag lang/english planet/debian debian]]
 
index 1ab712f..98974af 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-09-20 20:00:55 +0200"]]
+[[!meta date="2006-09-20 20:00:55 +0200"]]
 The world says, "Hello, half-naked Italian!" --nattie
 > Damn, the world seems to remember me for my worst behaviour :-) --[[Zack]]
 
index c441d72..4de1432 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-09-21 11:59:50 +0200"]]
+[[!meta date="2006-09-21 11:59:50 +0200"]]
 # Document the VCS of your packages!
 
 A long story short: have a look at [vim's PTS
@@ -32,5 +32,5 @@ VCS*, you can find it at the end of
 [trunk/pts/www/bin/common.py](http://svn.debian.org/wsvn/qa/trunk/pts/www/bin/common.py?op=file)
 in the [qa svn repository](http://svn.debian.org/wsvn/qa), look for "vcs_table".
 
-[[tag lang/english debian planet/debian]]
+[[!tag lang/english debian planet/debian]]
 
index 464eee6..6c9a976 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2006/10]]
+[[!meta redir=archives/2006/10]]
index 725f744..b08759a 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-10-18 17:58:43 +0200"]]
+[[!meta date="2006-10-18 17:58:43 +0200"]]
 # I'm starting to hate bzrtools 0.11.0
 
 My Ph.D. thesis is (obviously) being written in LaTeX and (even more obviously)
@@ -22,5 +22,5 @@ probability that I'll totally freak out:
 I'm ready to offer a bounty of 1 beer (to be paid at the next Debconf) to the
 first who fixes it in sid!
 
-[[tag lang/english debian planet/debian]]
+[[!tag lang/english debian planet/debian]]
 
index 3e52fc6..9ccce5e 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-10-29 15:15:35 +0100"]]
+[[!meta date="2006-10-29 15:15:35 +0100"]]
 Dear old Mutt, ...
 ==================
 
@@ -34,5 +34,5 @@ seems I'm running out of arguments for sticking to Mutt.
 Oh, right, there is the procmail stuff, my last feeble chance of keep on using
 Mutt ...
 
-[[tag lang/english planet/debian]]
+[[!tag lang/english planet/debian]]
 
index 718de18..c6fb822 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-10-12 13:02:03 +0200"]]
+[[!meta date="2006-10-12 13:02:03 +0200"]]
 # Iene vs Rodotà
 
 Ho or ora finito di leggere un [bell'articolo di Stefano
@@ -28,5 +28,5 @@ categorie? La domanda è trivialmente retorica ...
 
 W la legalità, ma W la legalità per tutti.
 
-[[tag lang/italian italy]]
+[[!tag lang/italian italy]]
 
index e1a309f..efdb235 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-10-29 11:44:24 +0100"]]
+[[!meta date="2006-10-29 11:44:24 +0100"]]
 Un giro di recensioni (part 1 of ...)
 =====================================
 
@@ -57,5 +57,5 @@ Poi mi chiedeva di Babel, ma su quello sono stato poco d'aiuto:
 ancora di più della prima volta che lo vidi, è forse tempo che io dia una
 seconda possibilità anche ad Heat?
 
-[[tag lang/italian cinema rece]]
+[[!tag lang/italian cinema rece]]
 
index ea62dab..c388699 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-10-31 10:12:55 +0100"]]
+[[!meta date="2006-10-31 10:12:55 +0100"]]
 Nuova signature
 ===============
 
@@ -9,4 +9,4 @@ Nuova signature
 
 Titolo: *Bac + Bach*
 
-[[tag lang/italian signature]]
+[[!tag lang/italian signature]]
index a047e03..d0623a7 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-10-30 14:04:44 +0100"]]
+[[!meta date="2006-10-30 14:04:44 +0100"]]
 Graphviz-based mindmap with Tomboy
 ==================================
 
@@ -33,5 +33,5 @@ a SVG viewer able to follow links?)
 Kudos to Sebastian Menge who wrote [the XSLT stylesheet I started
 from](http://beatniksoftware.com/pipermail/tomboy-list_beatniksoftware.com/2006-February/001068.html).
 
-[[tag lang/english hack planet/debian]]
+[[!tag lang/english hack planet/debian]]
 
index 6273ad8..73d37c7 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-10-04 16:09:00 +0200"]]
+[[!meta date="2006-10-04 16:09:00 +0200"]]
 # Why I love collaborative maintenance
 
     zack@aquarium:~/pkg-ocaml-maint/trunk/packages$ find . -name control -exec sed -i s/XS-X-Vcs-Svn/XS-Vcs-Svn/ {} \;
@@ -29,5 +29,5 @@ upload* packages from the repository.
 Wouldn't that have a great potential of improving the boring procedure of NMU,
 never too quick and easy to not hinder its diffusion?
 
-[[tag lang/english planet/debian debian]]
+[[!tag lang/english planet/debian debian]]
 
index a415214..891986a 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-10-04 15:05:30 +0200"]]
+[[!meta date="2006-10-04 15:05:30 +0200"]]
 # VCS-* field update: almost there
 
 The [XS-X-Vcs-* field](http://www.bononia.it/~zack/blog/posts/xs-x-vcs-XXX.html)
@@ -35,5 +35,5 @@ the field.
 As soon as I'll have feedback from the devref guys I will announce it properly
 on d-d-a, I swear.
 
-[[tag lang/english debian planet/debian]]
+[[!tag lang/english debian planet/debian]]
 
index 004083e..49be506 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2006/11]]
+[[!meta redir=archives/2006/11]]
index 91f3b76..170a299 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-11-10 19:26:47 +0100"]]
+[[!meta date="2006-11-10 19:26:47 +0100"]]
 Acquisti psicologici (mancati)
 ==============================
 
@@ -60,5 +60,5 @@ psicologico viene prima di tutto).
 
 Che pomeriggio ben speso ...
 
-[[tag lang/italian rant]]
+[[!tag lang/italian rant]]
 
index ca7c5dd..07aa857 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-11-16 11:13:24 +0100"]]
+[[!meta date="2006-11-16 11:13:24 +0100"]]
 /me on the Relevance of CDBS
 ====
 
@@ -34,5 +34,5 @@ unfulfilled duties.
 Collaborative maintenance is a social step in that direction, CDBS is a
 technical one.
 
-[[tag lang/english planet/debian debian]]
+[[!tag lang/english planet/debian debian]]
 
index 6f7ebe4..194e8b5 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-11-07 09:50:54 +0100"]]
+[[!meta date="2006-11-07 09:50:54 +0100"]]
 Editing LaTeX, the Vim way
 ====
 
@@ -62,5 +62,5 @@ to jump to compilation error, and so on ... End of the SPAM :-)
      let g:Tex_ViewRule_dvi = 'xdvi -editor "vim --servername ' . v:servername . ' --remote +\%l \%f"'
     endif
 
-[[tag lang/english planet/debian vim]]
+[[!tag lang/english planet/debian vim]]
 
index 29b0fc8..661735a 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-11-02 11:12:56 +0100"]]
+[[!meta date="2006-11-02 11:12:56 +0100"]]
 First Thoughts on Ruby
 ======================
 
@@ -24,4 +24,4 @@ the grammar and the semantics of the language. The standard library is
 well-documented/poorly-documented/read-the-code depending on which module you
 choose.
 
-[[tag lang/english planet/debian ruby]]
+[[!tag lang/english planet/debian ruby]]
index 93c6b49..aa0f922 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-11-02 17:28:59 +0100"]]
+[[!meta date="2006-11-02 17:28:59 +0100"]]
 Try this:
 
 <pre>myblock = Proc.new { |foo|
index e7e6c26..a982993 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-11-02 11:12:56 +0100"]]
+[[!meta date="2006-11-02 11:12:56 +0100"]]
 Flickr_download (.rb): Flickr batch downloader
 ==============================================
 
@@ -51,4 +51,4 @@ Download
 
 * [[flickr_download.rb]]
 
-[[tag lang/english hack planet/debian]]
+[[!tag lang/english hack planet/debian]]
index 7c862f1..39d8cca 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-12-23 23:40:11 +0100"]]
+[[!meta date="2006-12-23 23:40:11 +0100"]]
 hey! i've been googling for a tool to download all photos in my flickr set. My hdd crashed and all i had are the pictures in flickr. It's going to be so tedious if i download it one by one. Was also supposed to create a photo slideshow for christmas for my family..can i use your tool? and how? will appreciate any help! thanks so much! 
 
 can you pls email me? 
index 90c6ea5..11b7ea3 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-11-11 11:21:38 +0100"]]
+[[!meta date="2006-11-11 11:21:38 +0100"]]
 More Functional Programming in Python 2.5, where's the Syntax?
 ====
 
@@ -26,5 +26,5 @@ out of the box, would have been:
 
 ?
 
-[[tag lang/english planet/debian fp python]]
+[[!tag lang/english planet/debian fp python]]
 
index ad451d7..db95727 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-11-03 11:09:52 +0100"]]
+[[!meta date="2006-11-03 11:09:52 +0100"]]
 My life without CAPSLOCK
 ========================
 
@@ -18,5 +18,5 @@ moving the left pinky way less: probably a dream of all
 Now it is just a matter of training my left pinky to stop going in the bottom
 left corner of the keyboard ...
 
-[[tag lang/english planet/debian]]
+[[!tag lang/english planet/debian]]
 
index dc253f7..1dd3a6a 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-11-30 10:51:08 +0100"]]
+[[!meta date="2006-11-30 10:51:08 +0100"]]
 NaDa: There are no bugs in NaDa. It is impossible.
 ====
 
@@ -17,4 +17,4 @@ Che figata!
 
 *PS* e poi non è mica un byte qualsiasi, ma un preziosissimo 0x0d !!
 
-[[tag lang/italian fun]]
+[[!tag lang/italian fun]]
index 167a627..a4f091d 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-11-30 10:30:32 +0100"]]
+[[!meta date="2006-11-30 10:30:32 +0100"]]
 Stratus: I Owe You a Beer
 ====
 
@@ -14,5 +14,5 @@ raised too much since the last time I've been there!).
 
 Many thanks!
 
-[[tag lang/english planet/debian debian]]
+[[!tag lang/english planet/debian debian]]
 
index f5fac7e..4e260c7 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-11-05 09:26:01 +0100"]]
+[[!meta date="2006-11-05 09:26:01 +0100"]]
 Versioning /etc with bzr for fun and profit
 ===========================================
 
@@ -38,5 +38,5 @@ the Bologna
 area](http://wiki.debian.org/LocalGroups#head-51dc281f8f2fc8bd539d609a7916d9651df3a569).
 Sounds cool!
 
-[[tag lang/english hack planet/debian debian]]
+[[!tag lang/english hack planet/debian debian]]
 
index 25a5cb1..00c9250 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-02-11 19:10:15 +0100"]]
+[[!meta date="2007-02-11 19:10:15 +0100"]]
 
 Dear Stefano,
 
index 4ffd69a..43ef551 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-11-28 13:21:07 +0100"]]
+[[!meta date="2006-11-28 13:21:07 +0100"]]
 Vim's Feature of the Day #1: i_CTRL-R
 ====
 
@@ -30,5 +30,5 @@ exit insert mode, put, re-enter insert mode
 handy way (or better, a way I'm apparently able to remember) to copy stuff from
 a Gnome application and paste it back in Vim without having to use the "edit" menu
 
-[[tag lang/english planet/debian vim]]
+[[!tag lang/english planet/debian vim]]
 
index f6bb4da..330edea 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2006/12]]
+[[!meta redir=archives/2006/12]]
index 2048067..4c5fed4 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-12-11 11:38:05 +0100"]]
+[[!meta date="2006-12-11 11:38:05 +0100"]]
 As Fast as Wikipedia
 ====
 
@@ -29,5 +29,5 @@ According to the history of wikipedia the page was changed during the interview
 
 That was fast!
 
-[[tag lang/english planet/debian italy politics]]
+[[!tag lang/english planet/debian italy politics]]
 
index 1c1c63f..7a40e95 100644 (file)
@@ -1,9 +1,9 @@
-[[meta date="2006-12-04 14:38:23 +0100"]]
+[[!meta date="2006-12-04 14:38:23 +0100"]]
 Debian Karma: I Feel Good
 ====
 
 It has been a while since the last time I checked the [debian Karma
-page](http://io.debian.net/~tar/bugstats/?8) ([[snapshot took at the time of
+page](http://io.debian.net/~tar/bugstats/?8) ([[!snapshot took at the time of
 writing|debian_karma_04_12_2006]]). I did it today though, and to my great
 surprise I found myself listed in the third position.
 
@@ -16,5 +16,5 @@ plugin](http://ikiwiki.kitenet.net/plugins/html.html), but both trying to link
 to it with and without ".html" extension isn't working ... And yes, that's why
 the "snapshot" link above doesn't work.
 
-[[tag lang/english planet/debian debian]]
+[[!tag lang/english planet/debian debian]]
 
index 81e94b0..144d40b 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-12-04 20:47:42 +0100"]]
+[[!meta date="2006-12-04 20:47:42 +0100"]]
 As far as I can tell, the HTML page you want to link to exists in the repository (according to ViewCVS), but not on the site.  -- Josh Triplett
 
 > that's a correct guess indeed, but what I'm expecting from the html plugin is precisely to handle .html pages I commit in the repository, it should be responsible for copying them in the output directory when ikiwiki is run, shouldn't it? -- Zack
index 8f199dd..9ddd9a6 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-12-23 15:01:45 +0100"]]
+[[!meta date="2006-12-23 15:01:45 +0100"]]
 Which Website Markup Language?
 ====
 
@@ -45,5 +45,5 @@ looking for here on [planet](http://planet.debian.org), but right now I'm unable
 to find the relevant posts. Similarly I'm apparently unable to find the right
 set of Google keywords for finding anything useful.
 
-[[tag lang/english planet/debian lazyweb]]
+[[!tag lang/english planet/debian lazyweb]]
 
index 581f348..7053cab 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-12-23 17:59:11 +0100"]]
+[[!meta date="2006-12-23 17:59:11 +0100"]]
 Ciao Stefano,
 
 I did some web pages using DocBook XML and the docbook-xsl
index b4512a3..08aa47c 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-12-20 11:12:07 +0100"]]
+[[!meta date="2006-12-20 11:12:07 +0100"]]
 ls2rss
 ====
 
@@ -29,5 +29,5 @@ non-[Debian](http://www.debian.org) packages
 * [[sample_YAML_configuration_file|incoming.yaml]] used by me to monitor my
 ~/Incoming/ directory
 
-[[tag lang/english hack planet/debian]]
+[[!tag lang/english hack planet/debian]]
 
index 9fde287..44d5a74 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-12-27 17:02:10 +0100"]]
+[[!meta date="2006-12-27 17:02:10 +0100"]]
 Mozex (i.e. Vim for Editing Wikis) "Now" Works with Firefox 2.0
 ====
 
@@ -19,4 +19,4 @@ been really painful ...
 *PS* this will be the first post on my blog following the YEAR/MONTH/ structure,
 will it work properly?
 
-[[tag lang/english planet/debian vim]]
+[[!tag lang/english planet/debian vim]]
index 6b5fbbb..87a675a 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-12-30 12:52:54 +0100"]]
+[[!meta date="2006-12-30 12:52:54 +0100"]]
 Experiences with a Trac Server
 ====
 
@@ -65,4 +65,4 @@ that, so the package should probably enter testing again in a few days. Go RMs!
 
 Happy <strike>new year</strike> birthday <tt>trac.cs.unibo.it</tt>.
 
-[[tag lang/english planet/debian debian]]
+[[!tag lang/english planet/debian debian]]
index 3b1b30b..a8c41cb 100644 (file)
@@ -1,3 +1,3 @@
-[[meta date="2006-12-30 17:57:26 +0100"]]
+[[!meta date="2006-12-30 17:57:26 +0100"]]
 MattGood:
   You can also try [mod_fcgi](http://packages.debian.org/unstable/net/libapache2-mod-fcgid) which is not non-free, though it also appears to have not been built on testing at this time.
\ No newline at end of file
index 4883d4d..a7661e4 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2006-12-25 17:17:10 +0100"]]
+[[!meta date="2006-12-25 17:17:10 +0100"]]
 Xmas Vim tip: use ~/.vim/after/ftplugin/XXX.vim
 ====
 
@@ -20,4 +20,4 @@ customizations so that they can be overridden.
 
 Oh-Oh-Oh, Merry Christmas.
 
-[[tag lang/english planet/debian vim]]
+[[!tag lang/english planet/debian vim]]
index a285c77..dacf8f2 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2007]]
+[[!meta redir=archives/2007]]
index b9292db..f3cf64b 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2007/01]]
+[[!meta redir=archives/2007/01]]
index f934f19..cddd851 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-01-30 09:32:45 +0100"]]
+[[!meta date="2007-01-30 09:32:45 +0100"]]
 W l'Amadeus!
 ====
 
@@ -33,5 +33,5 @@ birreria di Bologna.
 
 Tchoum. (dovuto).
 
-[[tag lang/italian bologna rece gourmet]]
+[[!tag lang/italian bologna rece gourmet]]
 
index 8d42866..104e07f 100644 (file)
@@ -1,8 +1,8 @@
-[[meta date="2007-01-12 17:11:11 +0100"]]
+[[!meta date="2007-01-12 17:11:11 +0100"]]
 Ruby's thread more "functional" than OCaml's
 ====
 
-I'm relaxing some of mine [[initial bad impressions on
+I'm relaxing some of mine [[!initial bad impressions on
 Ruby|first_thoughts_on_ruby]]. This is mainly due to the fact that the [Ruby
 book](http://www.pragmaticprogrammer.com/titles/ruby/) I ordered on
 [Amazon](http://www.amazon.com/) finally arrived (after a lost shipment, the
@@ -43,5 +43,5 @@ threads to run.
 
 Dumb Ruby threads (but I still hope I'm wrong ...)
 
-[[tag lang/english planet/debian ruby ocaml fp]]
+[[!tag lang/english planet/debian ruby ocaml fp]]
 
index de26b70..dd41b44 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-01-06 11:28:09 +0100"]]
+[[!meta date="2007-01-06 11:28:09 +0100"]]
 Ocamlnet 2.2: test it by yourself from experimental
 ====
 
@@ -33,4 +33,4 @@ upgrades an user ends up without a working <tt>nethttpd</tt> library on the
 system. I added a Recommends in the hope it's enough, let's see how many
 complaints I will receive ...
 
-[[tag lang/english planet/debian ocaml debian]]
+[[!tag lang/english planet/debian ocaml debian]]
index 3d91dda..9624234 100644 (file)
@@ -1,8 +1,8 @@
-[[meta date="2007-01-28 20:04:18 +0100"]]
+[[!meta date="2007-01-28 20:04:18 +0100"]]
 Ocamlnet 2.2: out of NEW
 ====
 
-Some news on the [[packaging efforts for Ocamlnet
+Some news on the [[!packaging efforts for Ocamlnet
 2.2|ocamlnet_2.2_in_experimental]].  Both
 [Ocamlnet](http://packages.qa.debian.org/o/ocamlnet.html) 2.2 and
 [cryptgps](http://packages.qa.debian.org/c/cryptgps.html) (a new Ocamlnet
@@ -13,4 +13,4 @@ I do not plan to upload Ocamlnet 2.2 to unstable until
 [Etch](http://www.debian.org/releases/etch/) is out, since it introduces quite a
 lot of changes. If you want to give it a try get it directly from experimenal.
 
-[[tag lang/english planet/debian ocaml debian]]
+[[!tag lang/english planet/debian ocaml debian]]
index 2284160..bfde556 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-01-14 11:43:40 +0100"]]
+[[!meta date="2007-01-14 11:43:40 +0100"]]
 DebConf7: tickets bought!
 ====
 
@@ -22,5 +22,5 @@ See you in EDI.
 the information submitted in [Pentabarf](https://penta.debconf.org/) going to be
 disclosed anytime before the conference?
 
-[[tag lang/english planet/debian debian debconf]]
+[[!tag lang/english planet/debian debian debconf]]
 
index ab17b9d..84cd9bd 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-01-08 19:50:27 +0100"]]
+[[!meta date="2007-01-08 19:50:27 +0100"]]
 Querying Lbdb from Vim
 ====
 
@@ -46,5 +46,5 @@ improvements.
 
 **Update #2:** [Vimscript #388](http://www.vim.org/scripts/script.php?script_id=388) provides similar features to lbdbq.vim and is older. Still lbdbq.vim is more feature-complete, have a look at the [[Discussion]] page fore more info.
 
-[[tag lang/english planet/debian vim hack]]
+[[!tag lang/english planet/debian vim hack]]
 
index f0e3591..f1132fb 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-01-09 09:41:47 +0100"]]
+[[!meta date="2007-01-09 09:41:47 +0100"]]
 Hi Zack
 
 so your post penetrated into debian planet... just wanted to ask if you
index 0e114db..5842911 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-01-09 10:49:49 +0100"]]
+[[!meta date="2007-01-09 10:49:49 +0100"]]
 YubNub: la Console per il Web
 ====
 
@@ -26,4 +26,4 @@ search engine via YubNub. Il prezzo da pagare è dovere aggiungere un prefisso
 *Curiosità* YubNub è implementato su [Ruby on
 Rails](http://www.rubyonrails.org).
 
-[[tag lang/italian web20 ruby]]
+[[!tag lang/italian web20 ruby]]
index 9a76f94..cc4dbb2 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2007/02]]
+[[!meta redir=archives/2007/02]]
index 1d8b899..7b2734f 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-02-08 16:37:43 +0100"]]
+[[!meta date="2007-02-08 16:37:43 +0100"]]
 New YubNub command: <tt>ddpo</tt>
 ====
 
@@ -17,4 +17,4 @@ http://qa.debian.org/developer.php?login=zack
 I'll be happy when the first user will report that he guessed the <tt>ddpo</tt>
 command out of the blue!
 
-[[tag debian planet/debian lang/english web20]]
+[[!tag debian planet/debian lang/english web20]]
index 8a71505..b319be0 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-02-06 15:26:42 +0100"]]
+[[!meta date="2007-02-06 15:26:42 +0100"]]
 SPAM: do you want my DebConf7 plane ticket?
 ====
 
@@ -21,4 +21,4 @@ maybe from Milan Malpensa on June 14th 2006 (12:50), going back there on June
 24th 2006 (14:45 from Edinburgh airport)? **Then buy my plane ticket, it's
 cheap! Only 50€!!**
 
-[[tag lang/english planet/debian debian debconf]]
+[[!tag lang/english planet/debian debian debconf]]
index fbde04c..3c8ad36 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-02-18 18:28:19 +0100"]]
+[[!meta date="2007-02-18 18:28:19 +0100"]]
 Vim's Feature of the Day #2: Context-Aware Completion for XML
 ====
 (in 5 minutes!!!)
@@ -50,4 +50,4 @@ Enjoy!
 the "xml" ftplugin shipped by
 [vim-scripts](http://packages.qa.debian.org/vim-scripts) ...
 
-[[tag debian planet/debian lang/english vim]]
+[[!tag debian planet/debian lang/english vim]]
index 25f2b14..57ff7ef 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-02-21 13:23:59 +0100"]]
+[[!meta date="2007-02-21 13:23:59 +0100"]]
 La Sicurezza di Fineco
 ====
 
@@ -26,4 +26,4 @@ sito:
 
 ...
 
-[[tag lang/italian]]
+[[!tag lang/italian]]
index 4245653..3fcae33 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-02-27 10:08:22 +0100"]]
+[[!meta date="2007-02-27 10:08:22 +0100"]]
 Meme: Vote your favorite ESR Fact
 ====
 
@@ -11,4 +11,4 @@ My favorite [ESR Fact](http://geekz.co.uk/esrfacts/) is: *[ESR once wrote a CML2
 patch that was accepted into Linux. Just
 kidding.](http://geekz.co.uk/esrfacts/fact/91)*
 
-[[tag lang/english planet/debian meme]]
+[[!tag lang/english planet/debian meme]]
index 61a6780..45e13ab 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-02-11 15:25:38 +0100"]]
+[[!meta date="2007-02-11 15:25:38 +0100"]]
 Looking for a Gstreamer Pipeline for Remote Audio with Rhythmbox
 ====
 
@@ -49,5 +49,5 @@ server is used would be fine too ...
 local machine as per the XMMS recipe and then I run rhythmbox as follows:
 <tt>ESPEAKER=localmachin rhythmbox</tt>
 
-[[tag planet/debian lang/english lazyweb debian]]
+[[!tag planet/debian lang/english lazyweb debian]]
 
index 74eaf7e..bfac163 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-02-11 19:14:51 +0100"]]
+[[!meta date="2007-02-11 19:14:51 +0100"]]
 Hi Zack,
 
 how about http://pulseaudio.org/ ?
index 8073131..2c41692 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-02-02 09:41:45 +0100"]]
+[[!meta date="2007-02-02 09:41:45 +0100"]]
 XSLT's principle of greatest surprise
 ====
 
@@ -60,5 +60,5 @@ exactly as fast as a lighting bolt.
 
 If only [CDuce](http://www.cduce.org) had a syntax I'm able to remember ...
 
-[[tag lang/english planet/debian fp rant]]
+[[!tag lang/english planet/debian fp rant]]
 
index 04403b3..3b5e803 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-02-02 10:21:40 +0100"]]
+[[!meta date="2007-02-02 10:21:40 +0100"]]
 iJust to add to XSLT and CDuce: there is
 [HaXml](http://www.cs.york.ac.uk/fp/HaXml/) which worth to look at if you have
 bunch of XMLs to process.
index e8f01c3..4a3838a 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-02-07 17:56:33 +0100"]]
+[[!meta date="2007-02-07 17:56:33 +0100"]]
 vim-scripts maintenance
 ====
 
@@ -43,4 +43,4 @@ queue](http://ftp-master.debian.org/new.html))
 
 **Enjoy <tt>vim-scripts</tt> now!**
 
-[[tag lang/english planet/debian debian vim]]
+[[!tag lang/english planet/debian debian vim]]
index 9e0a9dd..80a3cc2 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-02-23 10:43:05 +0100"]]
+[[!meta date="2007-02-23 10:43:05 +0100"]]
 XS-Vcs-Browser: the brother of Xs-Vcs-*
 ====
 
@@ -43,4 +43,4 @@ web interface of the PTS.
 [John](http://changelog.complete.org/) yells at me again for (ab)using the
 planet for such announcements :-)
 
-[[tag planet/debian debian lang/english]]
+[[!tag planet/debian debian lang/english]]
index f466262..b6cdf74 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2007/03]]
+[[!meta redir=archives/2007/03]]
index 593b45f..81bde21 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-03-15 09:57:59 +0100"]]
+[[!meta date="2007-03-15 09:57:59 +0100"]]
 Google Summer of Code: Debian has been accepted
 ====
 
@@ -20,4 +20,4 @@ Keep on filling the [proposal page](http://wiki.debian.org/SummerOfCode2007)!
 
 /me going to accept the above request ...
 
-[[tag planet/debian debian google lang/english]]
+[[!tag planet/debian debian google lang/english]]
index 12abb67..32947a2 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-03-10 12:20:15 +0100"]]
+[[!meta date="2007-03-10 12:20:15 +0100"]]
 Google Summer of Code 2007: Call for Proposals
 ====
 
@@ -27,4 +27,4 @@ posted to
 d-d-a](http://lists.debian.org/debian-devel-announce/2007/03/msg00008.html),
 it's only to augment the SPAM level...
 
-[[tag planet/debian debian google lang/english]]
+[[!tag planet/debian debian google lang/english]]
index d9523bc..a29b10b 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-03-09 09:20:21 +0100"]]
+[[!meta date="2007-03-09 09:20:21 +0100"]]
 Living in Vim
 ====
 
@@ -30,4 +30,4 @@ section](http://www.vim.org/scripts/script_search_results.php) of
 
 Hope this helps,
 
-[[tag lang/english planet/debian vim]]
+[[!tag lang/english planet/debian vim]]
index a6f6431..33db787 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2007/04]]
+[[!meta redir=archives/2007/04]]
index c045143..5047656 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-04-10 11:26:50 +0200"]]
+[[!meta date="2007-04-10 11:26:50 +0200"]]
 Coq: Happy to See it as a Geek Toy
 ====
 
@@ -44,4 +44,4 @@ time now and Why/Krakatoa/Caduceus are coming soon.
 
 Happy hacking!
 
-[[tag planet/debian debian lang/english logics fp ocaml]]
+[[!tag planet/debian debian lang/english logics fp ocaml]]
index 3c1357a..b27d62b 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-04-04 14:41:47 +0200"]]
+[[!meta date="2007-04-04 14:41:47 +0200"]]
 Least Responsive Developer
 ====
 
@@ -12,4 +12,4 @@ but I would hate to be there, so probably I would strive for not being there.
 
 /me ponders about adding something similar to Debian IRC channel topics ...
 
-[[tag planet/debian debian lang/english]]
+[[!tag planet/debian debian lang/english]]
index 87aa232..b6ac3dd 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-04-17 13:28:48 +0200"]]
+[[!meta date="2007-04-17 13:28:48 +0200"]]
 OCaml 3.10.0 Beta in Experimental
 ====
 
@@ -13,4 +13,4 @@ Still you can give it a try (if you love risk) and perhaps document yourselves
 on the new API of camlp4, which changed completely.  For us it will be useful to
 see the result of experimental autobuilding ... I'm quite scared about that!
 
-[[tag debian planet/debian lang/english ocaml]]
+[[!tag debian planet/debian lang/english ocaml]]
index e750848..bd8bc58 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-04-17 09:51:54 +0200"]]
+[[!meta date="2007-04-17 09:51:54 +0200"]]
 Successful Mission, Captain Kirk
 ====
 
@@ -13,4 +13,4 @@ thesis](http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2007.bib?ncstrl.cabernet//
 
 I feel a bit emptied now ...
 
-[[tag planet/debian lang/english academia]]
+[[!tag planet/debian lang/english academia]]
index 647d8a8..1b6ffd9 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-04-11 21:47:24 +0200"]]
+[[!meta date="2007-04-11 21:47:24 +0200"]]
 Post-Etch Frenzy: Ocamlnet 2.2.7 in Unstable
 ====
 
@@ -23,4 +23,4 @@ Expect an upload to experimental in the next few days.
 All this is tiresome though, enough for today, time for some good old sci-fi
 book ...
 
-[[tag debian planet/debian lang/english ocaml]]
+[[!tag debian planet/debian lang/english ocaml]]
index 472d399..491a4fe 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-04-17 13:35:13 +0200"]]
+[[!meta date="2007-04-17 13:35:13 +0200"]]
 Nuova signature
 ====
 
@@ -9,4 +9,4 @@ Nuova signature
 
 Titolo: *Emptiness*
 
-[[tag lang/italian signature]]
+[[!tag lang/italian signature]]
index f2b830d..357a8bc 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-04-05 20:01:25 +0200"]]
+[[!meta date="2007-04-05 20:01:25 +0200"]]
 Truffaut o Truffati
 ====
 
@@ -11,4 +11,4 @@ Accanto](http://imdb.com/title/tt0082370/).
 
 Truffaut si sta rivoltando nella tomba ...
 
-[[tag lang/italian cinema]]
+[[!tag lang/italian cinema]]
index 7c77478..2a892d3 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2007/05]]
+[[!meta redir=archives/2007/05]]
index 249db5c..45b42cd 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-05-24 22:56:39 +0200"]]
+[[!meta date="2007-05-24 22:56:39 +0200"]]
 Crappy OpenOffice.org Impress Styles
 ====
 
@@ -51,4 +51,4 @@ anchored to ordinary text
 
 Dear lazyweb, please prove me wrong.
 
-[[tag rant planet/debian lang/english lazyweb]]
+[[!tag rant planet/debian lang/english lazyweb]]
index 651ce12..bfc1ca5 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-05-03 20:53:20 +0200"]]
+[[!meta date="2007-05-03 20:53:20 +0200"]]
 I'm Going to Play Some Number at the Lotto
 ====
 
@@ -43,4 +43,4 @@ Open questions:
 
 any proficient Lotto player to answer them around?
 
-[[tag planet/debian lang/english meme]]
+[[!tag planet/debian lang/english meme]]
index 3c227b0..84e9c4e 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-05-21 20:00:12 +0200"]]
+[[!meta date="2007-05-21 20:00:12 +0200"]]
 On the Power of a Blog (and of the Vatican)
 ====
 
@@ -26,5 +26,5 @@ Come on, of course journalists do not need a blog to get their news. Someone
 please make me think something else than that seeing a post on a popular blog
 removes the shyness of journalists about "disclosing" such a news to Italians...
 
-[[tag planet/debian lang/english italy]]
+[[!tag planet/debian lang/english italy]]
 
index 5eb75e4..98a4ab9 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2007/06]]
+[[!meta redir=archives/2007/06]]
index ddb2802..249fb7a 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-06-16 20:31:56 +0200"]]
+[[!meta date="2007-06-16 20:31:56 +0200"]]
 Debcamp *is* productive
 ====
 
@@ -30,4 +30,4 @@ Next day, actually hour, exciting adventures for me include:
 
 Wow, I'm overwhelmed, but it's actually soooo fun!
 
-[[tag planet/debian debian lang/english debconf]]
+[[!tag planet/debian debian lang/english debconf]]
index c41846d..f24e570 100644 (file)
@@ -1,5 +1,5 @@
-[[meta date="2007-06-20 02:49:49 +0200"]]
+[[!meta date="2007-06-20 02:49:49 +0200"]]
 *Comunque è impressionante come questo branco di cazzoni riesca a fare un
 sistema operativo competitivo*. By Gareuselesinge, Wed, 20 Jun 2007 01:48:25
 +0100.
-[[tag lang/italian debian]]
+[[!tag lang/italian debian]]
index 044d139..ba4069e 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-06-06 13:04:46 +0200"]]
+[[!meta date="2007-06-06 13:04:46 +0200"]]
 Decent printing of HTML pages (via LaTeX)
 ====
 
@@ -31,4 +31,4 @@ been easy and the quality of the resulting printed pages is wonderful!
 I'm just puzzled about the weird tool  name ..., why not
 "gnugplv2orabovehtml2latex" then?
 
-[[tag planet/debian lang/english debian]]
+[[!tag planet/debian lang/english debian]]
index 19f7850..d5bf5cb 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-06-17 21:36:09 +0200"]]
+[[!meta date="2007-06-17 21:36:09 +0200"]]
 Figures About SVN-Maintained Packages
 ====
 
@@ -52,4 +52,4 @@ versioning system on alioth, but we were fluent only in svn internals. Dear
 lazyweb, feel free to harvest and forward to me your data for the other
 versioning systems available on alioth, I'll keep this post updated with news.
 
-[[tag planet/debian debian lang/english qa]]
+[[!tag planet/debian debian lang/english qa]]
index c72e5a0..3d8b3ce 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-06-28 11:41:47 +0200"]]
+[[!meta date="2007-06-28 11:41:47 +0200"]]
 Secret Identity
 ====
 
@@ -8,4 +8,4 @@ secret agent <tt>#5507</tt>.
 [Go Mako](http://mako.cc/copyrighteous/20070626-00), go: I'm really happy to see
 you there. <tt>/me</tt> hoping in a better future.
 
-[[tag planet/debian lang/english]]
+[[!tag planet/debian lang/english]]
index 63c35b8..16371a7 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-06-23 15:08:56 +0200"]]
+[[!meta date="2007-06-23 15:08:56 +0200"]]
 Automatic completion for Closes: entry in Vim
 ====
 
@@ -25,4 +25,4 @@ Here are a couple of screenshot to wet your appetite: [[screenshot-1.png]],
 [[screenshot-2.png]]. If you can't wait for the next Vim upload take my current
 [[debchangelog.vim]] and put it in <tt>/usr/share/vim/vimcurrent/ftplugin/</tt>.
 
-[[tag debconf debian lang/english vim hack planet/debian]]
+[[!tag debconf debian lang/english vim hack planet/debian]]
index 2fe7d8d..6ddffca 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-06-18 23:25:03 +0200"]]
+[[!meta date="2007-06-18 23:25:03 +0200"]]
 First Draft of the Vim Packaging Policy Available
 ====
 
@@ -22,4 +22,4 @@ native English speakers will be appreciated, no matter if you speak Vim or not.
 be hating me for "wasting" time on Vim rather then on polishing [the first
 Zenoss package ever](http://bzed.de/blog/hacking_at_debconf) :-)
 
-[[tag planet/debian debian lang/english vim debconf]]
+[[!tag planet/debian debian lang/english vim debconf]]
index c56e8ef..be3388b 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-06-14 20:20:41 +0200"]]
+[[!meta date="2007-06-14 20:20:41 +0200"]]
 Yay, I'm here
 ====
 
@@ -15,5 +15,5 @@ Actually I started planning the trip a while ago and summing up the needed
 money. When, counting in euros, I reached the 4th digit I stopped counting and
 decided to came by plane :(
 
-[[tag planet/debian lang/english debian debconf]]
+[[!tag planet/debian lang/english debian debconf]]
 
index 78a2e22..9bbf16c 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-06-20 02:53:20 +0200"]]
+[[!meta date="2007-06-20 02:53:20 +0200"]]
 1st Zenoss upload
 ====
 
@@ -25,4 +25,4 @@ But it's worth mentioning that:
 
 Awesome.
 
-[[tag planet/debian lang/english debian]]
+[[!tag planet/debian lang/english debian]]
index caa652e..c7a7e8f 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2007/07]]
+[[!meta redir=archives/2007/07]]
index f602cc0..3e33d37 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-07-27 08:19:34 +0200"]]
+[[!meta date="2007-07-27 08:19:34 +0200"]]
 /me on the Debian Maintainers GR
 ====
 
@@ -38,4 +38,4 @@ producing (directly or not) good packages and discourage the others. In this
 respect the ability to stop accepting advocacies proposed in the GR sounds good
 to me.
 
-[[tag planet/debian lang/english debian politics]]
+[[!tag planet/debian lang/english debian politics]]
index 79b1d68..d4ec7c7 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-07-12 18:24:30 +0200"]]
+[[!meta date="2007-07-12 18:24:30 +0200"]]
 Status Page for OCaml Transitions
 ====
 
@@ -13,4 +13,4 @@ enjoyed using [Genshi](http://genshi.edgewall.org) more than in the past.
 Unfortunately the page reminds me that there's still a lot TODO before starting
 to upload OCaml 3.10.0 packages to unstable. Damned status pages!
 
-[[tag planet/debian debian lang/english ocaml]]
+[[!tag planet/debian debian lang/english ocaml]]
index ba70d7e..c3c414a 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-07-05 10:40:21 +0200"]]
+[[!meta date="2007-07-05 10:40:21 +0200"]]
 Proactive Bug Reporting
 ====
 
@@ -12,4 +12,4 @@ Thanks [madduck](http://blog.madduck.net/), that made my day :-) LOL
 
 *PS* the Italian cabal has started chasing you this morning ...
 
-[[tag planet/debian debian lang/english]]
+[[!tag planet/debian debian lang/english]]
index c6184ea..43ef0d3 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-07-15 15:48:56 +0200"]]
+[[!meta date="2007-07-15 15:48:56 +0200"]]
 DebFile: Python Library for Inspecting .deb
 ====
 
@@ -34,4 +34,4 @@ the API ... before it's too late :)
 **Update**: starting from version 0.1.4, arfile.py and debfile.py have been
 integrated into [python-debian](http://packages.qa.debian.org/python-debian)
 
-[[tag planet/debian debian lang/english python]]
+[[!tag planet/debian debian lang/english python]]
index 0ca99f3..b30c3ad 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-07-18 11:45:27 +0200"]]
+[[!meta date="2007-07-18 11:45:27 +0200"]]
 Referendum Elettorale: Ho Firmato
 ====
 
@@ -17,4 +17,4 @@ all'URP) e presso il banchetto che raccoglie le firme in Piazza Maggiore, vicino
 all'inizio di Via D'Azeglio che c'è sicuramente oggi fino a mezzanotte e domani
 fino alle 18/19. Dopo non saprei ...
 
-[[tag bologna politics lang/italian italy]]
+[[!tag bologna politics lang/italian italy]]
index 0864daa..072ed2c 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-07-11 19:58:08 +0200"]]
+[[!meta date="2007-07-11 19:58:08 +0200"]]
 More Uploaders, Less Maintainers: Infrastructure Issues
 ====
 
@@ -49,4 +49,4 @@ nevertheless: several perceived cons of collab maint are due to artificial
 distinctions maintainer/uploader in our tools, thanks for providing yet another
 example ... I want more! :)
 
-[[tag planet/debian debian lang/english]]
+[[!tag planet/debian debian lang/english]]
index f2e7cfa..9f12848 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-07-23 10:24:31 +0200"]]
+[[!meta date="2007-07-23 10:24:31 +0200"]]
 Too Many Python Parser Generators
 ====
 
@@ -20,4 +20,4 @@ Python-Bison glues out there :-( ... and almost all seem to be dead projects!
 
 Dear LazyWeb, any suggestions about which to choose?
 
-[[tag planet/debian lang/english python lazyweb]]
+[[!tag planet/debian lang/english python lazyweb]]
index 5fe4f4b..3e58789 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2007/08]]
+[[!meta redir=archives/2007/08]]
index debdcef..68408ce 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-08-04 17:06:16 +0200"]]
+[[!meta date="2007-08-04 17:06:16 +0200"]]
 Debian Revolutions ... begin with small steps ...
 ====
 
@@ -31,4 +31,4 @@ The next step is to patch the GForge running on Alioth so that project admins
 can enable such a setting by themselves: I volunteered to work on that, but I'm
 a bit swamped with other Debian-related stuff, help would be much appreciated!
 
-[[tag planet/debian debian lang/english qa]]
+[[!tag planet/debian debian lang/english qa]]
index 2ad5cf8..edf0193 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-08-15 16:14:05 +0200"]]
+[[!meta date="2007-08-15 16:14:05 +0200"]]
 Introducing debcheckout
 ====
 
@@ -31,7 +31,7 @@ rather dumb way actually, but I really can't stand
 Intended usages:
 
 1. NMU scenarios: when you're NMUing, please commit your patches (if possible of
-   course: directly to the repository if it has already adhered to the [[open
+   course: directly to the repository if it has already adhered to the [[!open
    your VCS campaign|DD_wide_commit_on_alioth]] I'm sponsoring, or somewhere
    else if you're using a distributed VCS); with debcheckout the first step it's
    easy
@@ -81,4 +81,4 @@ Ruby scripts.
 "live" version in the devscripts repository, since some patches are already
 flowing in ...
 
-[[tag planet/debian debian lang/english qa hack debcheckout vcs]]
+[[!tag planet/debian debian lang/english qa hack debcheckout vcs]]
index dab13ee..77a7a1c 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-08-17 10:13:04 +0200"]]
+[[!meta date="2007-08-17 10:13:04 +0200"]]
 debcheckout: some new bits
 ====
 
@@ -45,4 +45,4 @@ match a scalar value against an array case branch. Therefore the only way to
 factorize branches is (when possible) to rely on regexp alternative branches, as
 it is done in the code snippet above.
 
-[[tag planet/debian debian lang/english qa vcs debcheckout]]
+[[!tag planet/debian debian lang/english qa vcs debcheckout]]
index f958526..83d6de2 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-08-17 16:43:16 +0200"]]
+[[!meta date="2007-08-17 16:43:16 +0200"]]
 Skype: un Vero Cesso (TM)
 ====
 
@@ -31,4 +31,4 @@ Per telefonare su internet fatevi un qualsiasi account di [un provider VOIP
 qualsiasi](http://www.google.it/search?source=ig&hl=it&q=provider+voip&btnG=Cerca+con+Google&meta=lr%3Dlang_it)
 e vivete felici ...
 
-[[tag lang/italian]]
+[[!tag lang/italian]]
index 00bdce9..3e30443 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2007/09]]
+[[!meta redir=archives/2007/09]]
index 8d138b0..e02078a 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-09-06 00:41:06 +0200"]]
+[[!meta date="2007-09-06 00:41:06 +0200"]]
 Ciao Nadia
 ====
 
@@ -26,4 +26,4 @@ ricordare un sorriso sornione ... mail scritte da qualcuno che più non è.
 
 Ciao [Nadia](http://www.cs.unibo.it/~busi), a presto.
 
-[[tag lang/italian]]
+[[!tag lang/italian]]
index baf00cb..50fba1c 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-09-02 15:44:37 +0200"]]
+[[!meta date="2007-09-02 15:44:37 +0200"]]
 On cleaning and distcleaning ...
 ====
 ... and CDBS and "FTBFS if built twice in a row"
@@ -34,4 +34,4 @@ fixed this way or can still be fixed with the addition of the line above.
 **Update:** changed this post, the first writing was made thinking at
 "maintainer-clean" instead of "distclean"
 
-[[tag planet/debian debian lang/english]]
+[[!tag planet/debian debian lang/english]]
index 36e452d..0e02a33 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-09-21 09:48:56 +0200"]]
+[[!meta date="2007-09-21 09:48:56 +0200"]]
 Il Vento Fa il suo Giro
 ====
 
@@ -34,4 +34,4 @@ Merita, cercatelo, chiedetelo ai cinema di casa vostra.
 *PS* da quel che so a Torino e Milano è in programmazione da 2-3 mesi, a Bologna
 ci ha salvato solo Santa Cineteca da Azzogardino
 
-[[tag cinema rece lang/italian bologna]]
+[[!tag cinema rece lang/italian bologna]]
index 1af7e3d..95defd2 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-09-05 09:06:26 +0200"]]
+[[!meta date="2007-09-05 09:06:26 +0200"]]
 svn-buildpackage + cowbuilder
 ====
 
@@ -29,4 +29,4 @@ Thanks to [dancer](http://www.netfort.gr.jp/~dancer/diary/) for his tips on this
 cowbuilder but does not tag (sometimes you want to test the outcome of the
 cowbuilder build without tagging).
 
-[[tag planet/debian debian lang/english]]
+[[!tag planet/debian debian lang/english]]
index c21c465..c2fa271 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-09-24 10:38:49 +0200"]]
+[[!meta date="2007-09-24 10:38:49 +0200"]]
 vim-addons: now with super completion power
 ====
 
@@ -15,4 +15,4 @@ install a personal or system-wide addon). Cool.
 
 PS Thanks for the patch Antonio!
 
-[[tag planet/debian debian lang/english vim]]
+[[!tag planet/debian debian lang/english vim]]
index 7b66edd..13d3af4 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-09-17 09:16:14 +0200"]]
+[[!meta date="2007-09-17 09:16:14 +0200"]]
 Vim development workflow: 'errorformat' + ":make"
 ====
 
@@ -12,4 +12,4 @@ invoking the unit tests (at that point executing ":make" inside vim would
 trigger the testing) + an appropriate 'errorformat' setting which recognize the
 strings returned by your tests.
 
-[[tag planet/debian vim lang/english]]
+[[!tag planet/debian vim lang/english]]
index 598bc51..395da49 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-09-29 16:04:21 +0200"]]
+[[!meta date="2007-09-29 16:04:21 +0200"]]
 Adopting w3-recs (i.e. experiences in package generation)
 ====
 
@@ -52,4 +52,4 @@ find myself thinking that I'm the only believer in Debian's doc-base ...
 * Oh, and while we are at it: I'm still convinced that having the doc-base
 hierarchy bound to the menu policy is just plainly dumb
 
-[[tag planet/debian debian lang/english]]
+[[!tag planet/debian debian lang/english]]
index 9fc1ae5..9c869d5 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2007/10]]
+[[!meta redir=archives/2007/10]]
index 2202c86..7654044 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-10-31 10:24:47 +0100"]]
+[[!meta date="2007-10-31 10:24:47 +0100"]]
 Ciao (debian community Italiana), Mondo!
 ====
 
@@ -15,4 +15,4 @@ sul nostro "fratello maggiore", [Planet Debian](http://planet.debian.org).
 
 Ottima iniziativa comunque, grazie Holger!
 
-[[tag lang/italian debian]]
+[[!tag lang/italian debian]]
index 353c8a6..d166b15 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-10-24 19:42:38 +0200"]]
+[[!meta date="2007-10-24 19:42:38 +0200"]]
 Debian in Ubuntu story: bug fixed
 ====
 
@@ -9,4 +9,4 @@ fixed](http://www.ubuntu.com/community/ubuntustory/debian).
 Thanks to Matthew East, Matthew Nuzum, and all the other (constructive)
 collaborators who have followed up in the bug log.
 
-[[tag planet/debian debian ubuntu lang/english]]
+[[!tag planet/debian debian ubuntu lang/english]]
index 56898e2..1bbae6c 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-10-19 11:40:20 +0200"]]
+[[!meta date="2007-10-19 11:40:20 +0200"]]
 No "debian" on ubuntu.com: undoubtfully a bug!
 ====
 
@@ -46,4 +46,4 @@ I think should be mentioned on the ubuntu website regarding Debian. Feel free to
 help out with your comments in [the launchpad
 entry](https://bugs.launchpad.net/ubuntu-website/+bug/154274).
 
-[[tag planet/debian debian ubuntu lang/english]]
+[[!tag planet/debian debian ubuntu lang/english]]
index 5133ac3..90ddb65 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-10-29 10:25:17 +0100"]]
+[[!meta date="2007-10-29 10:25:17 +0100"]]
 "Vcs-Browse" is a typo ("Vcs-Browser" is correct)
 ====
 
@@ -13,4 +13,4 @@ need to be fixed. Being a maintainer of one such packages (I don't know if I
 actually am), I wouldn't mind a mass-bug filing (priority wishlist of course)
 about that.
 
-[[tag planet/debian debian lang/english qa]]
+[[!tag planet/debian debian lang/english qa]]
index 8526984..c374844 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-10-02 16:11:43 +0200"]]
+[[!meta date="2007-10-02 16:11:43 +0200"]]
 Virgin Active Bologna: pessimo trattamento dei clienti
 ====
 
@@ -60,4 +60,4 @@ di Virgin active.
 
 Repetita iuvant (?) (i.e. a net-marketing experiment)
 
-[[tag lang/italian italy bologna rant rece]]
+[[!tag lang/italian italy bologna rant rece]]
index 4d7897e..0d5ceb5 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-11-11 21:38:51 +0100"]]
+[[!meta date="2007-11-11 21:38:51 +0100"]]
 Ciao Stefano,
 innanzitutto, volevo farti complimenti per il tuo blog, so che abbiamo una
 "passione" in comune:
index 8a8365e..d917153 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2007/11]]
+[[!meta redir=archives/2007/11]]
index 530c4d7..36b7d15 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-11-30 17:07:31 +0100"]]
+[[!meta date="2007-11-30 17:07:31 +0100"]]
 Buggy Vcs-Svn fields around
 ====
 
@@ -26,4 +26,4 @@ svnbuildstat.
 
 **Update:** changed URLs to point to the new stat page locations
 
-[[tag lang/english planet/debian debian qa]]
+[[!tag lang/english planet/debian debian qa]]
index e670f32..53f0351 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-11-30 13:22:43 +0100"]]
+[[!meta date="2007-11-30 13:22:43 +0100"]]
 Some numbers about the Homepage field
 ====
 
@@ -15,4 +15,4 @@ still using the old pseudo field, about 2'000 are already using the new one.
 
 **Update:** changed URL to point to the new stat page locations
 
-[[tag lang/english planet/debian debian qa]]
+[[!tag lang/english planet/debian debian qa]]
index b4cf4ce..2d6106c 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-11-11 21:36:22 +0100"]]
+[[!meta date="2007-11-11 21:36:22 +0100"]]
 Installed-Size?
 ====
 
@@ -21,4 +21,4 @@ which packages were wasting disk space the most.  For sure dpigs relies on
 Installed-Size and don't have the necessary info to identify stuff like the
 above.
 
-[[tag lang/english planet/debian debian python]]
+[[!tag lang/english planet/debian debian python]]
index 967dd9a..b12572d 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-11-30 11:49:51 +0100"]]
+[[!meta date="2007-11-30 11:49:51 +0100"]]
 PTS again: LowThresholdNMU and Debian Maintainers
 ====
 
@@ -24,4 +24,4 @@ Now both tags are implemented as "acronym" HTML elements, but if you are good at
 graphics don't hesitate to contact me, that would be the right place for two
 fancy icons!
 
-[[tag planet/debian debian qa lang/english]]
+[[!tag planet/debian debian qa lang/english]]
index 416ec31..9cecc33 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-11-29 20:34:54 +0100"]]
+[[!meta date="2007-11-29 20:34:54 +0100"]]
 The PTS has grown RSS feeds
 ====
 
@@ -22,4 +22,4 @@ H01ger and 2 new markers: one for
 for maintenance by [Debian
   Maintainers](http://www.debian.org/vote/2007/vote_003). Stay tuned!
 
-[[tag lang/english planet/debian debian qa]]
+[[!tag lang/english planet/debian debian qa]]
index ea86ccc..a1f4091 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2007/12]]
+[[!meta redir=archives/2007/12]]
index 7208ac9..ecdb910 100644 (file)
@@ -15,4 +15,4 @@ work again**, so you can now leave comments to my posts in wiki-style using them
 (though you will need to register or have an [openid](http://openid.net)
 account).
 
-[[tag planet/debian lang/english]]
+[[!tag planet/debian lang/english]]
index df096ef..9cd97d7 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-12-05 08:42:51 +0100"]]
+[[!meta date="2007-12-05 08:42:51 +0100"]]
 On wiki.d.o and PTS styles
 ====
 
@@ -30,4 +30,4 @@ think Dan's work is an example that something in that spirit can be achieved,
 maybe we can collaborate? (Well, actually *you* can, I'm nowhere near a web
 designer :-) )
 
-[[tag planet/debian debian qa lang/english]]
+[[!tag planet/debian debian qa lang/english]]
index 5a47673..a8ff22a 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-12-01 11:23:29 +0100"]]
+[[!meta date="2007-12-01 11:23:29 +0100"]]
 PTS: face lifting (i.e. tell me what PTS layout you like)
 ====
 
@@ -34,4 +34,4 @@ So, question type, what do you like more of the above 3? I'm all for the latter
 please [mail me](mailto:zack@debian.org) them; also suggestions for improvement
 are, of course, welcome.
 
-[[tag planet/debian debian qa lang/english]]
+[[!tag planet/debian debian qa lang/english]]
index d4aeafd..4bc51e2 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-12-20 13:37:44 +0100"]]
+[[!meta date="2007-12-20 13:37:44 +0100"]]
 PTS face lift(ed!)
 ====
 
@@ -30,4 +30,4 @@ graphs!
 
 **Update:** changed URLs to point to the new stat page locations
 
-[[tag planet/debian debian qa lang/english]]
+[[!tag planet/debian debian qa lang/english]]
index 5935745..df7abb8 100644 (file)
@@ -11,4 +11,4 @@ italiane.
 Forse l'articolo più brillante, divertente, quasi paradossale, di Scalfari che
 io abbia mai letto. Un must read.
 
-[[tag lang/italian italy politics]]
+[[!tag lang/italian italy politics]]
index 5473528..efd9795 100644 (file)
@@ -1,4 +1,4 @@
-[[meta date="2007-12-13 09:59:19 +0100"]]
+[[!meta date="2007-12-13 09:59:19 +0100"]]
 Graphs wanted for Homepage and Vcs-XXX field stats
 ====
 
@@ -22,4 +22,4 @@ generating percentages and graphs, thanks in advance :-)
 **Update:** thanks to Lucas, now the stats page above sport graphs `\o/`
 **Update:** changed URLs to point to the new stat page locations
 
-[[tag planet/debian debian qa lang/english]]
+[[!tag planet/debian debian qa lang/english]]
index 280365a..91dcc6a 100644 (file)
@@ -23,4 +23,4 @@ with ikiwiki's `show` parameter for blogging I'll do my best to avoid flooding.
 
 Follows a big fat warning post to inform people about the blog new feed ...
 
-[[tag planet/debian debian lang/english]]
+[[!tag planet/debian debian lang/english]]
index fdfb407..fa482c6 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2008]]
+[[!meta redir=archives/2008]]
index 384a066..fb1ef5e 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2008/01]]
+[[!meta redir=archives/2008/01]]
index b6bcc3c..a52b52f 100644 (file)
@@ -21,4 +21,4 @@ me know.
 Dear lazyweb, comments, code auditing, and pointers to similar stuff I've
 overlooked are really welcome.
 
-[[tag lang/english hack planet/debian lazyweb]]
+[[!tag lang/english hack planet/debian lazyweb]]
index 9cd8924..842f538 100644 (file)
@@ -21,9 +21,9 @@ page](http://ikiwiki.info/plugins/); as such I was not particularly envy to try
 it out. Besides, the right place to add such a feature to me seems the [embed
 plugin](http://ikiwiki.info/plugins/embed/).
 
-... so I've minimally patched it: see [[debbug 462970]]. If you're willing to
+... so I've minimally patched it: see [[!debbug 462970]]. If you're willing to
 use AdSense with ikiwiki please try out the patch: since I'm an AdSense newbie
 it might well be I've underestimated the possible `script` snippets it can
-generate. Post comments to [[debbug 462970]].
+generate. Post comments to [[!debbug 462970]].
 
-[[tag planet/debian lang/english google adsense ikiwiki]]
+[[!tag planet/debian lang/english google adsense ikiwiki]]
index 65b6206..f8e017e 100644 (file)
@@ -31,7 +31,7 @@ to* manually grab from the bug log web page:
 the people reading do actually share this and similar dramas.)</small>
 
 Missing (or maybe overlooking) a tool helping me out on this, I've patched
-[[debpkg devscripts]]'s [`bts`](http://man.cx/bts) to automate the above steps.
+[[!debpkg devscripts]]'s [`bts`](http://man.cx/bts) to automate the above steps.
 Now I can do:
 
     bts followup 430986
@@ -78,7 +78,7 @@ devscripts version 2.10.13
 
 Comments?  
 Anyone else find this useful? If so I can just go ahead and commit it to
-[[debpkg devscripts]] mainline ...
+[[!debpkg devscripts]] mainline ...
 
 ----
 
@@ -93,4 +93,4 @@ replying to (the bug report is always on Cc though)
 * add the possibility to specify "last" (and even "last-1" and so on) for
 pointing to messages in the bug log starting from log bottom
 
-[[tag planet/debian debian devscripts lang/english hack]]
+[[!tag planet/debian debian devscripts lang/english hack]]
index 66dce49..5807bad 100644 (file)
@@ -4,4 +4,4 @@
 caso in cui sia accompagnato con la consumazione di
 [caffe](http://it.wikipedia.org/wiki/Caffe).
 
-[[tag lang/italian fun]]
+[[!tag lang/italian fun]]
index 11672ff..9047a55 100644 (file)
@@ -22,4 +22,4 @@ aware of others.
 
 Uff ...
 
-[[tag planet/debian debian qa lang/english]]
+[[!tag planet/debian debian qa lang/english]]
index dfe6303..c3ff27b 100644 (file)
@@ -16,4 +16,4 @@ meeting](http://wiki.debian.org/DebianQAExtremadura2007) by
 [Dato](http://chistera.yi.org/~adeodato/blog/),
 [Lars](http://liw.iki.fi/liw/log2/), and myself.
 
-[[tag planet/debian qa debian lang/english]]
+[[!tag planet/debian qa debian lang/english]]
index 0b68de5..ef59a4e 100644 (file)
@@ -23,17 +23,17 @@ inversion in the relative positions of <q>field with wrong value</q> and
 hint.
 
 * I have finally managed to leave the 18th century my mail set-up was living in:
-goodbye pop + [[debpkg fetchmail]] + [[debpkg mutt]], welcome imap4 + [[debpkg
+goodbye pop + [[!debpkg fetchmail]] + [[!debpkg mutt]], welcome imap4 + [[!debpkg
 offlineimap]] + mutt.  In the former setup I was unable to read my old mails
 while away from my laptop, now I have decent replicas of my full mailboxes in
 various places. I'm still a bit unhappy about how can I force a send/receive
 email cycle: with fetchmail I used to have a demonized fetchmail running in the
 background and just executing `fetchmail` I was able to force that. Now, with
-offineimap, I've an autorefresh-ed offlineimap running inside [[debpkg screen]]
+offineimap, I've an autorefresh-ed offlineimap running inside [[!debpkg screen]]
 and I need to bring up the screen and then hit `1` to trigger a sync cycle.
 
 ... now back to that paper introduction due for December 26th :-/
 
 **Update:** changed URLs to point to the new stat page locations
 
-[[tag planet/debian debian qa lang/english]]
+[[!tag planet/debian debian qa lang/english]]
index 4ff6251..43472b2 100644 (file)
@@ -7,5 +7,5 @@ didn't that is that when the network is not available offlineimap exits with a
 backtrace and I don't want that in my mailbox delivered by cron :-) , but I
 still do want to see other error messages returned by offlineimap. If I had a
 decent way of detecting whether the network is up or not it would be fine, any
-tip on how to query [[debpkg network-manager]] asking him whether he has
+tip on how to query [[!debpkg network-manager]] asking him whether he has
 currently set-up connectivity or not?  --[[Zack]]
index a5be5b8..cf6a1a4 100644 (file)
@@ -3,4 +3,4 @@ From Italian usenet (reported to me by Xelloss):
 <q>While Italian politicians are discussing the German model or the Spanish
 model, the French president is fucking an Italian model.</q>
 
-[[tag planet/debian lang/english italy fun politics]]
+[[!tag planet/debian lang/english italy fun politics]]
index e73af25..73bea07 100644 (file)
@@ -1,8 +1,8 @@
 # mutt-patched: sidebar keybindings
 
-[[debpkg mutt-patched]] it's really cool, [thanks Myon for advertising
+[[!debpkg mutt-patched]] it's really cool, [thanks Myon for advertising
 it](http://www.df7cb.de/blog/2008/mutt-patched.html). Actually I've tried it
-only in the hope that it could solve [[debbug 459739]] (don't bother trying: it
+only in the hope that it could solve [[!debbug 459739]] (don't bother trying: it
 doesn't), but I'm now liking it, especially the [sidebar
 patch](http://www.lunar-linux.org/index.php?option=com_content&task=view&id=44).
 
@@ -22,6 +22,6 @@ for her `.muttrc`:
 They are basically a subset of those proposed on [the
 homepage](http://www.lunar-linux.org/index.php?option=com_content&task=view&id=44),
 but I did not like changing the default semantics of `b`.
-See also [[debbug 459725]].
+See also [[!debbug 459725]].
 
-[[tag planet/debian lang/english mutt debian]]
+[[!tag planet/debian lang/english mutt debian]]
index ad77e3f..7d1c85c 100644 (file)
@@ -22,4 +22,4 @@ There is an entry about that in the forthcoming
 [DeveloperNews](http://wiki.debian.org/DeveloperNews), it will eventually flow
 to [d-d-a](http://lists.debian.org/debian-devel-announce).
 
-[[tag lang/english planet/debian debian qa pts]]
+[[!tag lang/english planet/debian debian qa pts]]
index 5a9be58..73f14ae 100644 (file)
@@ -6,4 +6,4 @@ Nuovo dominio - nuova signature
     (15:56:48)  Zack: e la demo dema ?    /\    All one has to do is hit the
     (15:57:15)  Bac: no, la demo scema    \/    right keys at the right time
 
-[[tag lang/italian signature]]
+[[!tag lang/italian signature]]
index dbce294..6f5202d 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2008/02]]
+[[!meta redir=archives/2008/02]]
index abbf533..8e3db9a 100644 (file)
@@ -177,9 +177,9 @@ XQuery which is not fully conformant to the specification (though it gets quite
 close) which is type-aware and implements static typing.
 
 The only XQuery / XSLT 2.0 implementation available *in Debian* at the time of
-writing is SaxonB. The binary package is [[debpkg libsaxonb-java]], kudos to
+writing is SaxonB. The binary package is [[!debpkg libsaxonb-java]], kudos to
 Michael Koch and the Debian Java Maintainers for having packaged it (and to have
-stood some annoying pings of mine :-) [[debbug 408842]]).
+stood some annoying pings of mine :-) [[!debbug 408842]]).
 
 To execute XQuery code you just have to <kbd>aptitude install
 libsaxonb-java</kbd>, prepare a <kbd>query.xq</kbd> file containing your query,
@@ -189,7 +189,7 @@ and then execute something like:
     java net.sf.saxon.Query query.xq
 
 note that the information in README.Debian are still referring to old Saxon
-versions, see [[debbug 465894]] which proposes a more up to date README.Debian.
+versions, see [[!debbug 465894]] which proposes a more up to date README.Debian.
 
 Similarly, to perform a XSLT 2.0 transformation you have to do something like:
 
@@ -197,10 +197,10 @@ Similarly, to perform a XSLT 2.0 transformation you have to do something like:
     java net.sf.saxon.Transform -ext:off -s:input.xml -xsl:style.xsl -o:output.xml
 
 Do not remove the -ext:off flag when processing *untrusted stylesheets*!, see
-[[debbug 465885]] for the reason.
+[[!debbug 465885]] for the reason.
 
 I've written some handier (1-liner) shell script helpers which remove the need
-of invoking java manually. They are attached to [[debbug 465894]] and I've
+of invoking java manually. They are attached to [[!debbug 465894]] and I've
 proposed their addition to the saxonb package. Using them the above invocations
 become:
 
@@ -209,7 +209,7 @@ become:
     saxonb-xslt -ext:off -s:input.xml -xsl:style.xsl -o:output.xml
 
 Galax in Debian ... well, since long time I've been planning to package it (the
-ITP has been filed some months ago: [[debbug 447984]]) and the authors sent me a
+ITP has been filed some months ago: [[!debbug 447984]]) and the authors sent me a
 newer version than what is available online to gather feedback before the long
 overdue final release. Unfortunately I've been lagging behind in finishing the
 packaging (which is tricky due to the need of binding libraries to several
@@ -222,14 +222,14 @@ Hopefully this post will give me some renewed motivation for finishing the work
 <a name="links" />
 ## References
 
-* Debian package [[debpkg w3-recs]], ships the whole list of W3C Recommendations
+* Debian package [[!debpkg w3-recs]], ships the whole list of W3C Recommendations
 for offline consultation; it includes all the specifications we have discussed
 in this post
 * [Saxon](http://saxon.sourceforge.net): home page of Saxon, a XSLT 2.0 /
 XQuery processor written in Java
 * [Galax](http://www.galaxquery.org): home page of Galax, a XQuery processor
 written in OCaml
-* Debian package [[debpkg libsaxonb-java]], ships SaxonB as a Debian package
+* Debian package [[!debpkg libsaxonb-java]], ships SaxonB as a Debian package
 
 ----
 
@@ -244,4 +244,4 @@ package, I've also made available their manpages. Also the pending changes to
 README.Debian has been accepted. Kudos again to Michael Koch for his quick
 feedback on my patches!
 
-[[tag lang/english planet/debian xml xslt xquery debian]]
+[[!tag lang/english planet/debian xml xslt xquery debian]]
index 638a358..5e6660c 100644 (file)
@@ -71,4 +71,4 @@ Meeting" /></a>
 [*FOSDEM*](http://www.fosdem.org) for the week-end. Drop me a note if you want
 to get in touch for beer/keysigning/whatever.
 
-[[tag lang/english planet/debian debian xquery ocaml]]
+[[!tag lang/english planet/debian debian xquery ocaml]]
index 1dcdc8e..1b9e363 100644 (file)
@@ -4,7 +4,7 @@
 Me and [godog](http://esaurito.net/blog) have bought a [Zonbu Mini
 Desktop](http://zonbu.com/device/mini.htm) to replace our previous noisy caseful
 server. The supposed duties of such a server are just running some P2P clients
-and a [[debpkg slimserver]] for a [Squeezebox](http://www.slimdevices.com/) (so
+and a [[!debpkg slimserver]] for a [Squeezebox](http://www.slimdevices.com/) (so
 yes, the Zonbu will also need to proxy a very big USB disk).
 
 I've discovered the Zonbu mini thanks to a [blog
@@ -51,7 +51,7 @@ then be ready
 ---
 
 Sad note: according to godog's tests, the provided wifi (which is optional to
-buy) works either with [[debpkg ndiswrapper]] or with a binary kernel module
+buy) works either with [[!debpkg ndiswrapper]] or with a binary kernel module
 built against Fedora kernel, that sucks.
 
-[[tag lang/english planet/debian debian zonbu]]
+[[!tag lang/english planet/debian debian zonbu]]
index d12d219..3fb9c65 100644 (file)
@@ -12,4 +12,4 @@ packages](http://pkg-ocaml-maint.alioth.debian.org/debian-ocaml-status.html),
 re-uploading them and/or requesting [binNMU](http://wiki.debian.org/binNMU)s as
 needed.
 
-[[tag lang/english planet/debian debian ocaml]]
+[[!tag lang/english planet/debian debian ocaml]]
index 18e2723..706bccc 100644 (file)
@@ -14,4 +14,4 @@ Roma per Londra ed in mezzo un week-end giustamente di non lavoro.
 
 Gente strana ... (il sottoscritto intendo).
 
-[[tag lang/italian academia]]
+[[!tag lang/italian academia]]
index 28b1342..e80a43d 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2008/03]]
+[[!meta redir=archives/2008/03]]
index cf841c6..9554cf4 100644 (file)
@@ -7,4 +7,4 @@ sauce (AYH?):
 
 Does that mean that I have actually reserved a room ... or not?
 
-[[tag lang/english planet/debian fun]]
+[[!tag lang/english planet/debian fun]]
index d03a117..6e11a01 100644 (file)
@@ -18,4 +18,4 @@ thus far. Yet another good reason for spreading the verb of [OCamlcore's
 planet](http://planet.ocamlcore.org): subscribe subscribe subscribe, add your
 blog add your blog add your blog, read read read, ... :-)
 
-[[tag lang/english ocaml]]
+[[!tag lang/english ocaml]]
index ad13cb6..f9fcead 100644 (file)
@@ -28,4 +28,4 @@ the links and the snippet have been updated accordingly
 
 **Update**: thanks to Tincho the sticker has now better (i.e. wider) margins
 
-[[tag lang/english planet/debian debconf debian]]
+[[!tag lang/english planet/debian debconf debian]]
index 250ef16..4fa4193 100644 (file)
@@ -14,4 +14,4 @@ or not. *Thank you Jerome and Mary!*
 Thanks to these efforts **Galax 1.1 is now [available in
 Debian/unstable](http://packages.debian.org/galax)**. Enjoy your XQueries!
 
-[[tag lang/english planet/debian ocaml xquery debian]]
+[[!tag lang/english planet/debian ocaml xquery debian]]
index c02bcfd..1f056fa 100644 (file)
@@ -8,11 +8,11 @@ sight).
 <small>OK, you're right, that would be quite an uncommon scenario for a git
 repository. In fact the truth is that you are in such a situation because the
 git repo was obtained converting from a subversion repo which was using the
-<tt>mergeWithUpstream</tt> stuff of [[debpkg svn-buildpackage]].</small>
+<tt>mergeWithUpstream</tt> stuff of [[!debpkg svn-buildpackage]].</small>
 
 Now that you have git's space efficiency you want to change this, import
 upstream sources, and possibly adhere to a branch layout which is compatible
-with [[debpkg git-buildpackage]] (which is very simple in its minimal
+with [[!debpkg git-buildpackage]] (which is very simple in its minimal
 requirements: an <q>upstream</q> branch containing just upstream sources and a
 <q>master</q> branch containing a debianized source tree).
 
@@ -45,7 +45,7 @@ ancestry](http://madduck.net/blog/2007.07.11:creating-a-git-branch-without-ances
 in it you should create an empty commit, then merge it (vacuously) in master,
 and now you're ready to call <kbd>git-import-orig</kbd> to the rescue.
 
-Feature request on [[debpkg git-buildpackage]] to support this out of the box is
-on the go: [[debbug 471560]].
+Feature request on [[!debpkg git-buildpackage]] to support this out of the box is
+on the go: [[!debbug 471560]].
 
-[[tag lang/english planet/debian vcs git debian]]
+[[!tag lang/english planet/debian vcs git debian]]
index 8a803df..9a81987 100644 (file)
@@ -5,9 +5,9 @@ doc-base?»](http://www.indentedlines.net/2008/03/01/why-arent-we-using-doc-base
 It's indeed a good question.
 
 In the past I've pushed for using doc-base in several places, including
-obviously packages of mine, but also recently generating by default [[debpkg
+obviously packages of mine, but also recently generating by default [[!debpkg
 doc-base]] entries from OCaml libraries using debpkg ocamldoc, and finally also
-more than 100 doc-base entries shipped by [[debpkg w3-recs]] alone for the
+more than 100 doc-base entries shipped by [[!debpkg w3-recs]] alone for the
 contained W3C recommendations.
 
 doc-base is based on a good idea, i.e. annotating the doc we ship with metadata
@@ -17,7 +17,7 @@ in Debian is way underused.
 
 My best bet at the *reason* is that in the past the tools floating around
 doc-base were sucky. However, in 2007 some of them has dramatically improved
-their quality, with the noteworthy example of [[debpkg dhelp]] which has been
+their quality, with the noteworthy example of [[!debpkg dhelp]] which has been
 rewritten from scratch in Ruby by Esteban Manchado Velázquez closing tens and
 tens of bugs.
 
@@ -28,7 +28,7 @@ The next (needed) step for the doc-base world domination will be decoupling its
 *classification hierarchy* from that of the Debian menu system, keeping the 2
 bound is nonsense.
 
-**Update** Runa submitted [[debbug 469018]]; cool, because I was just going to
+**Update** Runa submitted [[!debbug 469018]]; cool, because I was just going to
 do that by myself :-)
 
-[[tag lang/english planet/debian debian]]
+[[!tag lang/english planet/debian debian]]
index 716abd4..0743c1c 100644 (file)
@@ -12,4 +12,4 @@ Yay!
     
 [Thanks Aba for the good news!](http://blogs.turmzimmer.net/2008/03/20#lenny-3)
 
-[[tag lang/english planet/debian ocaml debian]]
+[[!tag lang/english planet/debian ocaml debian]]
index 5d3b70c..e69876e 100644 (file)
@@ -29,4 +29,4 @@ status.
 
 Your help is needed and will be very much appreciated!
 
-[[tag lang/english planet/debian ocaml]]
+[[!tag lang/english planet/debian ocaml]]
index ec6c9ed..cd2cf8c 100644 (file)
@@ -18,4 +18,4 @@ way better than Larry Wall's talks I've attended in the past (this time at least
 I went back home with some actual content, instead of only LOLing for the talk
 duration).
 
-[[tag lang/english planet/debian perl]]
+[[!tag lang/english planet/debian perl]]
index 5a2a82f..6a83869 100644 (file)
@@ -21,7 +21,7 @@ script](http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/tools/gen-binNMU-reques
 contributed by Stephane Glondu, exploiting the build-dependencies information
 [we already had](http://pkg-ocaml-maint.alioth.debian.org/ocaml_build_deps.dot).
 A small bug in the various involved scripts let a missing dep-wait slip through
-and we had to re-request builds for [[debpkg ocamlnet]], but beside that all
+and we had to re-request builds for [[!debpkg ocamlnet]], but beside that all
 went fine ... it will go even better next time (now that the bugs has been
 fixed).
 
@@ -32,4 +32,4 @@ can get if from there to test if everything is fine with it. As soon as the
 current transition is over we can right ahead requests the new binNMUs and hope
 to have *3.10.2 in Lenny*.
 
-[[tag lang/english planet/debian debian ocaml]]
+[[!tag lang/english planet/debian debian ocaml]]
index 04b5dcb..5a74881 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2008/04]]
+[[!meta redir=archives/2008/04]]
index 67d47e7..c8ec7ab 100644 (file)
@@ -42,4 +42,4 @@ outcome, for buildd sake!
 
 [4]: mailto:zack@debian.org
 
-[[tag lang/english planet/debian debian draft]]
+[[!tag lang/english planet/debian debian draft]]
index 15e0e4d..e0faa71 100644 (file)
@@ -7,4 +7,4 @@ to serve the OCaml community.
 
 Happy coding.
 
-[[tag lang/english planet/debian ocaml]]
+[[!tag lang/english planet/debian ocaml]]
index 220e9b3..6c88011 100644 (file)
@@ -8,4 +8,4 @@ made of 72 panels, ... it takes about 10 minutes to read, but is worth.
 As a bonus for Italian readers: the domain name hosting the strip rimes in
 between "lisp" and "desperate"; is there a hidden message?
 
-[[tag lang/english planet/debian fp ocaml]]
+[[!tag lang/english planet/debian fp ocaml]]
index b236736..8769c6a 100644 (file)
@@ -18,7 +18,7 @@ person](http://www.enricozini.org/2008/cazzeggio/champagne.html)". Mine below
 can be titled **how to freak out an inhabitant of
 [Modena](http://en.wikipedia.org/wiki/Modena)**:
 
-[[img vinegar-with.jpg size=350x350 alt="fake balsamic vinegar"]]
+[[!img vinegar-with.jpg size=350x350 alt="fake balsamic vinegar"]]
 
 Here you are: [balsamic vinegar](http://en.wikipedia.org/wiki/Balsamic_vinegar)
 flavoured with figs or honey ..., tasty eh? <small>(dedicated to
@@ -29,4 +29,4 @@ you count poorly working, up 1 random hour per day, stolen wi-fi as
 connectivity), so I won't be able to work on Debian et al. a lot from home in
 the next few weeks.
 
-[[tag lang/english planet/debian paris academia]]
+[[!tag lang/english planet/debian paris academia]]
index c4cbd82..f588ef9 100644 (file)
@@ -23,4 +23,4 @@ are a good example of the usage of the
 [`rel="nofollow"`](http://microformats.org/wiki/rel-nofollow)
 [microformat](http://microformats.org).
 
-[[tag lang/english planet/debian politics italy]]
+[[!tag lang/english planet/debian politics italy]]
index 9fbd30e..db7e871 100644 (file)
@@ -14,4 +14,4 @@ At the time of writing a couple of examples are:
 such powerful tools, Debian will be so fast at completing the `python2.5`
 transition that you won't have time to see the new PTS messages ;-)
 
-[[tag lang/english planet/debian debian qa pts]]
+[[!tag lang/english planet/debian debian qa pts]]
index 1a60699..ac46ae7 100644 (file)
@@ -1,6 +1,6 @@
 # Sir Tim Berners-Lee kudos the Debian packaging system
 
-I'm currently in [[wikipedia Beijing]] to deliver a talk at the
+I'm currently in [[!wikipedia Beijing]] to deliver a talk at the
 [WWW2008](http://www2008.org) conference, and I just came back from the usual
 magnificent banquet of big conferences. Before the banquet it was scheduled a
 [keynote talk](http://www2008.org/keynote/TimBL.html) by [Sir Tim
@@ -21,4 +21,4 @@ distribution](http://www.debian.org).
 It is really the time to say: we are just one step away from the *total world
 (wide web) domination*.
 
-[[tag lang/english planet/debian debian academia]]
+[[!tag lang/english planet/debian debian academia]]
index f62de4d..3227f5c 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2008/05]]
+[[!meta redir=archives/2008/05]]
index 38849ba..f0dfa6b 100644 (file)
@@ -12,8 +12,8 @@ re-defining from scratch in their own code).
 After a day-n-half of work I'm proud to announce that **core is now available in
 Debian**. It took me a while as we were missing several of core dependencies.
 
-Overall, the resulting new 5 source packages are [[debpts bin-prot]], [[debpts
-ocaml-res]], [[debpts janest-core]], [[debpts type-conv]], [[debpts
+Overall, the resulting new 5 source packages are [[!debpts bin-prot]], [[!debpts
+ocaml-res]], [[!debpts janest-core]], [[!debpts type-conv]], [[!debpts
 sexplib310]]. All of them as been uploaded to experimental; beside sexplib
 (which went through NEW in just a few hours!!), the other 4 are sitting in NEW.
 In the meantime you can take the packages from [my people.d.o
@@ -27,4 +27,4 @@ the current Perl 5.10 transition).
 The only annoying aspect of the whole business is that bin-prot is ATM supported
 only little endian architectures, and this is inherited by core ...
 
-[[tag lang/english planet/debian debian ocaml]]
+[[!tag lang/english planet/debian debian ocaml]]
index f10700d..81c75df 100644 (file)
@@ -24,4 +24,4 @@ catch up.
 
 Stay tuned!
 
-[[tag lang/english planet/debian ocaml debian]]
+[[!tag lang/english planet/debian ocaml debian]]
index b826ca7..354ac63 100644 (file)
@@ -33,4 +33,4 @@ The shortest scripts are 5 LOCs, but they are structurally equivalent to the 7
 LOCs above, sometimes invoking some other idempotent update-bla tool, and
 sporting less newlines.
 
-[[tag lang/english planet/debian debian mancoosi]]
+[[!tag lang/english planet/debian debian mancoosi]]
index b4fa436..f3ec1dc 100644 (file)
@@ -22,4 +22,4 @@ was pondering «hey, we should create a wiki page with pointers to all the stat
 pages about Debian we have». Well, in fact it already exists:
 [Statistics](http://wiki.debian.org/Statistics) on wiki.d.o.
 
-[[tag debian lang/english planet/debian qa]]
+[[!tag debian lang/english planet/debian qa]]
index ed4b8e5..eb0d83c 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2008/06]]
+[[!meta redir=archives/2008/06]]
index 33e2060..c453e03 100644 (file)
@@ -28,4 +28,4 @@ In the meantime it was a pity not to have the Debian weather (as
 spent some time to resurrect it on top of `edos-debcheck` daily runs: **[Debian
 weather is back](http://edos.debian.net/weather/)**, enjoy!
 
-[[tag lang/english planet/debian mancoosi qa debian]]
+[[!tag lang/english planet/debian mancoosi qa debian]]
index 8e3b7cd..5ed4944 100644 (file)
@@ -11,4 +11,4 @@ SIGMOD](http://www.sigmod.org/) conference:
 
 ... one of the things I would have killed for having written by myself.
 
-[[tag lang/english planet/debian academia fun cinema]]
+[[!tag lang/english planet/debian academia fun cinema]]
index fc5f3d6..451d4e1 100644 (file)
@@ -30,4 +30,4 @@ what? ... 5 click-away from the initial page? That is just dumb. (And as it is
 well-known that habits form anyhow, getting the habits harder to form is just a
 way to piss-off users.)
 
-[[tag lang/english planet/debian rant]]
+[[!tag lang/english planet/debian rant]]
index 6b35125..9e664ac 100644 (file)
@@ -11,4 +11,4 @@ to care about.
 
 Kudos to all who helped, Luk -release side, and the other fellow Debian camlers.
 
-[[tag lang/english planet/debian ocaml debian]]
+[[!tag lang/english planet/debian ocaml debian]]
index 1b2ee55..ea07bb8 100644 (file)
@@ -7,4 +7,4 @@
     I'm still an SGML person,this newfangled /\ All one has to do is hit the
     XML stuff is so ... simplistic  -- Manoj \/ right keys at the right time
 
-[[tag lang/italian signature]]
+[[!tag lang/italian signature]]
index 41e4a90..4e9cee0 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2008/07]]
+[[!meta redir=archives/2008/07]]
index e8fc176..5cdacfb 100644 (file)
@@ -10,4 +10,4 @@ hilarious :) )
 in its [original
 context](http://www.wulffmorgenthaler.com/default.aspx?id=f13cb73a-b3aa-421b-807d-667a158d9529)</small>
 
-[[tag lang/english planet/debian debconf gourmet fun]]
+[[!tag lang/english planet/debian debconf gourmet fun]]
index 98ec0b8..9cd8df2 100644 (file)
@@ -17,4 +17,4 @@ Feel free to join the new group. Also, if you want to spare the duty of
 checking/accepting new people into the group drop me a line, you will be more
 than welcome!
 
-[[tag lang/english ocaml web20]]
+[[!tag lang/english ocaml web20]]
index 18b17cc..cfceb24 100644 (file)
@@ -33,4 +33,4 @@ still fail to understand ...)</small>.
 
 * [[paper|research/publications/debconf8-mancoosi.pdf]] (PDF format, 316 Kb)
 
-[[tag lang/english planet/debian mancoosi debian debconf]]
+[[!tag lang/english planet/debian mancoosi debian debconf]]
index c21db14..ca36d44 100644 (file)
@@ -50,4 +50,4 @@ Testing from the [git
 repo](http://git.debian.org/?p=pkg-python-debian/python-debian.git) is more than
 welcome.
 
-[[tag lang/english planet/debian debian python]]
+[[!tag lang/english planet/debian debian python]]
index ebaddbf..a20bc59 100644 (file)
@@ -23,4 +23,4 @@ Please, pretty please, *take some time to convert
 [your](http://upsilon.cc/~zack/stuff/homepage-field/pkg_w_old_homepage_pseudo_field.dd-list.txt)
 old pseudo-fields*: it's quick, easy, and helpful.
 
-[[tag lang/english planet/debian qa debian]]
+[[!tag lang/english planet/debian qa debian]]
index 67b11db..32673ea 100644 (file)
@@ -4,7 +4,7 @@ After quite a lot from [[my_initial_adoption|2007/09/w3-recs]], I've spent some
 time to **update [w3-recs](http://packages.debian.org/sid/w3-recs)**.
 
 Beside the long overdue update of shipped recommendations (quite a few new
-specification was released, mostly related to [[wikipedia SPARQL]], but a few
+specification was released, mostly related to [[!wikipedia SPARQL]], but a few
 more have been edited, including CSS 1 and 2), I've also uploaded some pending
 improvements. [A](http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=444593)
 [couple](http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=446876) of bug fixes
@@ -33,4 +33,4 @@ Also, /me wonders, if everything (but package build :-) ) worked properly with
 uppercase document IDs, why the heck one should forbid them in the doc-base
 specification?
 
-[[tag lang/english planet/debian debian]]
+[[!tag lang/english planet/debian debian]]
index b1edab0..b1d1da2 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2008/08]]
+[[!meta redir=archives/2008/08]]
index 3c0eb42..ee73f66 100644 (file)
@@ -54,4 +54,4 @@ descriptions, and a way to spot the "canonical" one)</small>
 not miss [tomorrow's QA
 BOF](https://penta.debconf.org/dc8_schedule/events/237.en.html).)</small>
 
-[[tag lang/english planet/debian pts qa debconf debian]]
+[[!tag lang/english planet/debian pts qa debconf debian]]
index dc509d2..179df7f 100644 (file)
@@ -6,7 +6,7 @@ Among about 20 bugs triaged/fixed thus far, 2 are peculiar and integrate some
 more info in PTS package pages.
 
 * **Pending [`mentors.d.n`](http://mentors.debian.net) uploads**
-([[debbug 463050]]) in need of sponsoring, are now shown as TODO items. This way
+([[!debbug 463050]]) in need of sponsoring, are now shown as TODO items. This way
 the maintainer has better chances to not overlook them.
 
 A minor glitch is currently affecting this though: when pending uploads on
@@ -15,7 +15,7 @@ unstable, they are currently not removed automatically from `mentors.d.n` and
 will thus show up in the PTS. Apparently this is going to be fixed soon on
 `mentors.d.n`, so hopefully this bug won't have time to bother anyone.
 
-* **Highlight of gift/help bugs** ([[debbug 469627]]). We know the drill about
+* **Highlight of gift/help bugs** ([[!debbug 469627]]). We know the drill about
 [bugs tagged `help`](http://www.debian.org/Bugs/Developer#tags). They are now
 shown as a single item in the "problems" section of the PTS, in the hope to
 attract attention on them from people other than the package maintainer.
@@ -36,4 +36,4 @@ putting it up [[for_download|tagged_bugs.py]]. The PTS is using
     $ tagged_bugs.py "gift" "debian-qa@lists.debian.org" > bugs.gift.txt
     $ tagged_bugs.py "help" > bugs.gift.txt
 
-[[tag lang/english planet/debian qa debian pts debconf]]
+[[!tag lang/english planet/debian qa debian pts debconf]]
index 3ace655..c2895f9 100644 (file)
@@ -33,4 +33,4 @@ writing).
 P-A-S packages, so there are some false positive. Still, 33 source packages are
 proper hits.</small>
 
-[[tag lang/english planet/debian qa mancoosi debian debconf]]
+[[!tag lang/english planet/debian qa mancoosi debian debconf]]
index 821dcfc..af96078 100644 (file)
@@ -20,10 +20,10 @@ news](http://wiki.debian.org/DeveloperNews):
      * if there is 1 or more amongst errors and warnings they will be shown as TODO items
      * if there is 1 or more amongst errors, warnings, and information messages, the hyperlink to the Lintian report will be shown
 
-Some more info are available in the bug logs ([[debbug 458329]],
-[[debbug 243729]]); if you want a sample page have a look at
+Some more info are available in the bug logs ([[!debbug 458329]],
+[[!debbug 243729]]); if you want a sample page have a look at
 [ocaml](http://packages.qa.debian.org/o/ocaml.html), but I'm pretty sure that
 most random package pages will show at least 1 lintian warning in need of your
 love :-)
 
-[[tag lang/english planet/debian qa debconf debian pts]]
+[[!tag lang/english planet/debian qa debconf debian pts]]
index caaf3a6..87c3615 100644 (file)
@@ -15,4 +15,4 @@ major overhaul changelog parsing (thanks to James Westby). Unfortunately we are
 going to miss Lenny with this release, but after all it is a package mostly
 meant for Debian Developers, so it is probably not a big deal.
 
-[[tag lang/english planet/debian debconf debian]]
+[[!tag lang/english planet/debian debconf debian]]
index c747886..c9f3c63 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2008/09]]
+[[!meta redir=archives/2008/09]]
index f55a537..037e885 100644 (file)
@@ -11,4 +11,4 @@ lovely](http://flickr.com/photos/zacchiro/sets/72157607159698766/).
 
 See you soon, Argentina.
 
-[[tag lang/english planet/debian fun]]
+[[!tag lang/english planet/debian fun]]
index e9f9db9..5f0f771 100644 (file)
@@ -34,4 +34,4 @@ Qualche vincolo in più renderebbe i corsi di laurea apparentemente più ostici
 invoglierebbe più studenti ad abbandonare, ma sarebbe solo apparenza: in realtà
 darebbe un servizio migliore agli studenti meritevoli.
 
-[[tag lang/italian academia italy]]
+[[!tag lang/italian academia italy]]
index 2a8f03d..893539c 100644 (file)
@@ -6,4 +6,4 @@ finalmente deciso a cambiarla. Quella nuova sembra uno stile [un po'
 "tuareg"](http://upsilon.cc/~zack/img/zack-face.jpg), non sono mica certo che
 l'effetto finale sia migliorato ...
 
-[[tag lang/italian]]
+[[!tag lang/italian]]
index 4333433..3c41062 100644 (file)
@@ -1,6 +1,6 @@
 # tutto è relativo
 
-Con buona probabilità, [[wikipedia alitalia]] ha appena percorso [il suo più
+Con buona probabilità, [[!wikipedia alitalia]] ha appena percorso [il suo più
 grande passo verso il
 baratro](http://www.ansa.it/opencms/export/site/visualizza_fdg.html_760676909.html).
 
@@ -18,4 +18,4 @@ ricattate su internet: "Inviatemi foto sexy, oppure..."*
 OK, il campione di giornali online che ho scelto è parecchio biased, but still
 ...
 
-[[tag lang/italian italy]]
+[[!tag lang/italian italy]]
index c959859..0cd13a9 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2008/10]]
+[[!meta redir=archives/2008/10]]
index 0869432..6c987d1 100644 (file)
@@ -59,4 +59,4 @@ Enjoy!
 from devscripts' VCS or, better, doing `debcheckout devscripts` which
 is soooo bootstrapy. SCNR.)</small>
 
-[[tag lang/english planet/debian debian qa vcs debcheckout]]
+[[!tag lang/english planet/debian debian qa vcs debcheckout]]
index 029a407..5e13c68 100644 (file)
@@ -1,6 +1,6 @@
 # One month with Emacs and counting - Part 1
 
-[[template id=note text="""
+[[!template id=note text="""
 other posts in the *from Vim to Emacs series*:
 <span title="Flawed Vim design decisions">
 **[part 2](http://upsilon.cc/~zack/blog/posts/2008/11/from_Vim_to_Emacs_-_part_2/)**
@@ -148,4 +148,4 @@ together with an explanation of what (I think) has changed since then.
    Mb at the 7th position. Yes, it is not the thinnest editor in the
    world, but on average machine it doesn't really matter *at all*.
 
-[[tag lang/english planet/debian vim emacs]]
+[[!tag lang/english planet/debian vim emacs]]
index e8ab042..1c7149f 100644 (file)
@@ -32,4 +32,4 @@ my laptop to build). You can reuse the `-doc` package I've built,
 which is `arch: all`, to rebuild only the `-dev` part unpack the
 source package and do `fakeroot debian/rules binary-arch`.</small>
 
-[[tag lang/english planet/debian ocaml debian batteries]]
+[[!tag lang/english planet/debian ocaml debian batteries]]
index 601657e..f66b5d5 100644 (file)
@@ -33,4 +33,4 @@ proposal, and repeatedly advertised by Joss in various ways (kudos). Still the
 participation has been way too low. That has nothing to do with other
 "distractions".
 
-[[tag lang/english planet/debian debian]]
+[[!tag lang/english planet/debian debian]]
index 62ded8f..e49836c 100644 (file)
@@ -11,4 +11,4 @@ senza Zack se ne vedono tanti, ma di Zack senza zaini molto pochi</q>
 
 Il vostro inviato da Nashville.
 
-[[tag lang/italian signature]]
+[[!tag lang/italian signature]]
index c5a969d..3c7b27a 100644 (file)
@@ -14,4 +14,4 @@ keep the totality of the original message and write your response on top of it".
 To be read as: "just in case you know how to quote properly, please don't do
 that".
 
-[[tag lang/english planet/debian fun]]
+[[!tag lang/english planet/debian fun]]
index 04ee6e8..9a3cc32 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2008/11]]
+[[!meta redir=archives/2008/11]]
index 6cf63c7..38b5bc3 100644 (file)
@@ -65,4 +65,4 @@ interpreted as sets. That means that to check whether an element
 belongs to a given class you need to fiddle with substring matches on
 the class attribute (which is quite crappy).
 
-[[tag lang/english planet/debian qa pts debian]]
+[[!tag lang/english planet/debian qa pts debian]]
index a32ae52..c677777 100644 (file)
@@ -35,4 +35,4 @@ space**](http://people.debian.org/~zack/ocaml-batteries/). Since
 people were interested I've made available both amd64 and i386 builds
 there.
 
-[[tag lang/english planet/debian ocaml debian batteries]]
+[[!tag lang/english planet/debian ocaml debian batteries]]
index 8227307..43b6fef 100644 (file)
@@ -40,4 +40,4 @@ Next steps for CamlBZ2:
 * a [Debian](http://www.debian.org) package,
 * and of course an API flexible enough to enable Batteries integration!
 
-[[tag lang/english planet/debian batteries ocaml]]
+[[!tag lang/english planet/debian batteries ocaml]]
index 58b030e..4998b18 100644 (file)
@@ -36,4 +36,4 @@ Closing notes:
    link using my login, and noted that is used as meta-syntax to be
    replaced.
 
-[[tag lang/english planet/debian debian]]
+[[!tag lang/english planet/debian debian]]
index c7e1e19..e0b3c4a 100644 (file)
@@ -1,7 +1,7 @@
-[[meta date="2008-11-15 13:30:05 +0100"]]
+[[!meta date="2008-11-15 13:30:05 +0100"]]
 # One month with Emacs and counting - Part 2
 
-[[template id=note text="""
+[[!template id=note text="""
 Other posts in the *from Vim to Emacs series*:
 <span title="Why Emacs is now ready to be switching to">
 **[part 1](http://upsilon.cc/~zack/blog/posts/2008/10/from_Vim_to_Emacs_-_part_1/)**
@@ -268,4 +268,4 @@ to migrate for hard-core Vim users, then we'll see ...
 If you did enjoy the read please let me know commenting in the
 discussion page (as you did in the last post, thanks!).
 
-[[tag lang/english planet/debian vim emacs rant debian]]
+[[!tag lang/english planet/debian vim emacs rant debian]]
index 4854b81..dc78768 100644 (file)
@@ -45,4 +45,4 @@ code above.  `tar` and `zip` will come next (but with different
 interfaces, as old *nix jokes tell us, compressing and archiving are
 different tasks).
 
-[[tag lang/english planet/debian ocaml batteries]]
+[[!tag lang/english planet/debian ocaml batteries]]
index cdc9d8d..967eb9c 100644 (file)
@@ -5,4 +5,4 @@
     Dietro un grande uomo c'è ..|  .  |. Et ne m'en veux pas si je te tutoie
     sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime
 
-[[tag lang/english signature]]
+[[!tag lang/english signature]]
index c0a0687..0be6ba1 100644 (file)
@@ -1 +1 @@
-[[meta redir=archives/2008/12]]
+[[!meta redir=archives/2008/12]]
index 62eb05f..63c8034 100644 (file)
@@ -20,4 +20,4 @@ and dark chocolate.
 
 So long Joss, and thanks for all the <strike>fish</strike> cookies.
 
-[[tag lang/english planet/debian debian fun]]
+[[!tag lang/english planet/debian debian fun]]
index 6f108e7..7415029 100644 (file)
@@ -1,11 +1,11 @@
-<a href="http://www.catb.org/hacker-emblem/">[[img img/glider.png link="no"
+<a href="http://www.catb.org/hacker-emblem/">[[!img img/glider.png link="no"
 class="flow" alt="the glider: a hacker emblem"]]</a>
-I like *hacking* (but this is about [[wikipedia hacker]]s, and has basically
-nothing to do with [[wikipedia black hat]]s). As a hacking enthusiast I can't
+I like *hacking* (but this is about [[!wikipedia hacker]]s, and has basically
+nothing to do with [[!wikipedia black hat]]s). As a hacking enthusiast I can't
 stand being locked away from information and in particular source code; it
-should come as no surprise I'm also a [[wikipedia free software]] enthusiast and
+should come as no surprise I'm also a [[!wikipedia free software]] enthusiast and
 a [free software foundation](http://www.fsf.org) supporter:
-<a href="http://www.fsf.org/register_form?referrer=5507">[[img
+<a href="http://www.fsf.org/register_form?referrer=5507">[[!img
 img/fsf-member.png link="no" alt="FSF associate member"]]</a>.
 
 These days, my hacking time is mostly devoted to
index 322779c..592caea 100644 (file)
@@ -1,4 +1,4 @@
-<a href="http://www.debian.org">[[img img/debian-officiallogo.jpg link="no"
+<a href="http://www.debian.org">[[!img img/debian-officiallogo.jpg link="no"
 class="flow" alt="debian official logo"]]</a>
 I've been an official **[Debian](http://www.debian.org)
 [Developer](http://www.debian.org/devel/people)** (DD), since March 2001.
index c82e415..29b5b0d 100644 (file)
@@ -1,9 +1,9 @@
-[[img img/applications-development.png link="no" class="flow" alt="development"]]
+[[!img img/applications-development.png link="no" class="flow" alt="development"]]
 
 Below you can find a list of the software projects I've been involved with
 (sometimes as the main author, sometimes as a contributor, ... YMMV).
 
-[[toc ]]
+[[!toc ]]
 
 # active software projects
 
index 80d2a5f..0d8b5d1 100644 (file)
@@ -1,4 +1,4 @@
-[[meta title="OCaml HTTP"]]
+[[!meta title="OCaml HTTP"]]
 # do it yourself (OCaml) HTTP daemon
 
 **OCaml HTTP** is an [OCaml](http://caml.inria.fr) library freely inspired from
@@ -42,7 +42,7 @@ OCaml HTTP is freely distributed under the GNU Library General Public License
 (GPL) and is available here for **download**:
 
 * tarball (sources) [[ocaml-http-0.1.3.tar.gz]]
-* official Debian packages are available: [[debpkg libhttp-ocaml-dev]]
+* official Debian packages are available: [[!debpkg libhttp-ocaml-dev]]
 * browse the [Subversion
 repository](http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=/trunk/helm/software/DEVEL/ocaml-http/&rev=0&sc=0)
 
index 5347d5b..8d37a39 100644 (file)
@@ -8,9 +8,9 @@ OCaml debugger inside emacs ... I resigned and decided to make
 [`ocamldebug`](http://caml.inria.fr/pub/docs/manual-ocaml/manual030.html) work
 with [(g)vim](http://www.vim.org) too. **WOWcamldebug** is the result.
 
-[[table header="no" class="flow" format="dsv" data="""
-[[img wowcamldebug-screenshot1.png size="375x179" class="flow" alt="wowcamldebug console"]]
-[[img wowcamldebug-screenshot2.png size="375x392" class="flow" alt="wowcamldebug editor"]]
+[[!table header="no" class="flow" format="dsv" data="""
+[[!img wowcamldebug-screenshot1.png size="375x179" class="flow" alt="wowcamldebug console"]]
+[[!img wowcamldebug-screenshot2.png size="375x392" class="flow" alt="wowcamldebug editor"]]
 """]]
 
 WOWcamldebug is a front end that permits to *use the OCaml debugger within
index 586443e..92cd320 100644 (file)
@@ -1,5 +1,5 @@
-[[meta title="stefano zacchiroli home page"]]
-[[img img/zack-face.jpg link="personal" class="flow" size="347x203" alt="a picture of zack"]]
+[[!meta title="stefano zacchiroli home page"]]
+[[!img img/zack-face.jpg link="personal" class="flow" size="347x203" alt="a picture of zack"]]
 Hi, I'm **Zack** and this is [my homepage](http://upsilon.cc/~zack).
 <table class="identikit">
   <tr> <th>name</th> <td>Stefano Zacchiroli</td> </tr>
@@ -30,9 +30,9 @@ Hi, I'm **Zack** and this is [my homepage](http://upsilon.cc/~zack).
   </tr>
 </table>
 
-I'm a <acronym title="Doctor of Philosophy">[[wikipedia Ph.D.]]</acronym>
+I'm a <acronym title="Doctor of Philosophy">[[!wikipedia Ph.D.]]</acronym>
 in computer science, currently doing
-[[research]] as a [[wikipedia post-doc]] at [Laboratoire
+[[research]] as a [[!wikipedia post-doc]] at [Laboratoire
 PPS](http://www.pps.jussieu.fr/), [Université Paris Diderot - Paris
 7](http://www.univ-paris-diderot.fr/). I also have some [[teaching]] duties.
 More about my education and professional activities can be found on my
@@ -40,7 +40,7 @@ More about my education and professional activities can be found on my
 <a href="http://www.linkedin.com/in/zacchiro" ><img
  src="http://www.linkedin.com/img/webpromo/btn_liprofile_blue_80x15.gif"
  width="80" height="15" border="0" alt="View Stefano Zacchiroli's profile on LinkedIn"></a>.
-I'm a [[wikipedia free software]] supporter,
+I'm a [[!wikipedia free software]] supporter,
 [[developer|hacking/software]], and [[proud_member|hacking/debian]] of the
 [Debian](http://www.debian.org) project.  Yes, I do also have a
 [[personal_life|personal]], which luckily I do not waste too much updating this
index b284766..e9b95e8 100644 (file)
@@ -1,4 +1,4 @@
-[[img img/emblem-photos.png link="no" class="flow" alt="photos"]]
+[[!img img/emblem-photos.png link="no" class="flow" alt="photos"]]
 Here you can find some bits of my **personal life**, as they are available on
 the net:
 
index 34b2dce..35e2504 100644 (file)
@@ -1,4 +1,4 @@
-[[img img/applications-science.png link="no" class="flow" alt="science"]] My
+[[!img img/applications-science.png link="no" class="flow" alt="science"]] My
 main job is doing research (and [[teaching]]) at the [Laboratoire
 PPS](http://www.univ-paris-diderot.fr/) of the [Université Paris Diderot - Paris
 7](http://www.univ-paris-diderot.fr/). My current and not-so current research
@@ -23,6 +23,6 @@ from a [[separate_page|publications]].
  * **web technologies**, in particular: type systems for typing XML trees (I'm
  currently a member of [W3C](http://www.w3.org)'s [XML Schema working
  group](http://www.w3.org/XML/Schema)) and document validation, overlapping
- markup, web collaboration (as in [[wikipedia wiki]]s) and its interaction with
+ markup, web collaboration (as in [[!wikipedia wiki]]s) and its interaction with
  content constraints
 
index b32ec2f..8f93e1e 100644 (file)
@@ -1,9 +1,9 @@
-[[meta stylesheet=papers rel="stylesheet"]]
+[[!meta stylesheet=papers rel="stylesheet"]]
 
-[[img img/emblem-documents.png link="no" class="flow" alt="documents"]]
+[[!img img/emblem-documents.png link="no" class="flow" alt="documents"]]
 Here is a list of my **academic papers**, classified by type of publication and
 in reverse chronological order.
-[[toc ]]
+[[!toc ]]
 
 # <span title="international, peer-reviewed journals">journal articles</span>
 
@@ -17,7 +17,7 @@ in reverse chronological order.
        <a href="http://www.tandf.co.uk/">Taylor and Francis</a>,
        <a href="http://www.informaworld.com/smpp/title~content=t713599880~link=cover">ISSN 1361-4568</a>.
       </em>
-    [[toggle id=id20 text="Abstract..."]] [[toggleable id=id20 text="""
+    [[!toggle id=id20 text="Abstract..."]] [[!toggleable id=id20 text="""
     *Abstract:* Overlapping markup refers to the issue of how to represent data structures more expressive than trees—for example direct acyclic graphs—using markup (meta-)languages which have been designed with trees in mind—for example XML. In this paper we observe that the state of the art in overlapping markup is far from being the widespread and consistent stack of standards and technologies readily available for XML and develop a roadmap for closing the gap. In particular we present in the paper the design and implementation of what we believe to be the first needed step, namely: a syntactic conversion framework among the plethora of overlapping markup serialization formats. The algorithms needed to perform the various conversions are presented in pseudo-code, they are meant to be used as blueprints for researchers and practitioners which need to write batch translation programs from one format to the other.
     """]]
  1. <a class="paper_download" href="mcs-disambiguation-errors.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/s11786-008-0058-2" title="Document Object Identifier">doi&gt;</a></span> Claudio Sacerdoti Coen, Stefano Zacchiroli. **Spurious Disambiguation Errors and How to Get Rid of Them**.  <em>
@@ -27,7 +27,7 @@ in reverse chronological order.
        Springer Birkhäuser,
        <a href="http://www.springerlink.com/content/1661-8270">ISSN 1661-8270</a>.
       </em>
-    [[toggle id=id19 text="Abstract..."]] [[toggleable id=id19 text="""
+    [[!toggle id=id19 text="Abstract..."]] [[!toggleable id=id19 text="""
     *Abstract:* The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When it comes to incorrect formulae however, far too many typing errors are generated; among them we want to present only errors related to the formula interpretation meant by the user, hiding errors related to other interpretations. We study disambiguation errors and how to classify them into the spurious and genuine error classes. To this end we give a general presentation of the classes of disambiguation algorithms and efficient disambiguation algorithms. We also quantitatively assess the quality of the presented error classification criteria benchmarking them in the setting of a formal development of constructive algebra.
     """]]
  1. <a class="paper_download" href="matita.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/s10817-007-9070-5" title="Document Object Identifier">doi&gt;</a></span> Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli. **User Interaction with the Matita Proof Assistant**.  <em>
@@ -37,7 +37,7 @@ in reverse chronological order.
          Proving</a>, Springer Netherlands, ISSN 0168-7433, <a href="http://springerlink.metapress.com/content/y4wt440q28136q47">pp.
          109-139</a>, 2007.
       </em>
-    [[toggle id=id9 text="Abstract..."]] [[toggleable id=id9 text="""
+    [[!toggle id=id9 text="Abstract..."]] [[!toggleable id=id9 text="""
     *Abstract:* Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, mostly characterized by the organization of the library as a searchable knowledge base, the emphasis on a high-quality notational rendering, and the complex interplay between syntax, presentation, and semantics.
     """]]
 
@@ -48,7 +48,7 @@ in reverse chronological order.
        technologies, business and social applications. IGI Publishing, May 2009,
        ISBN 978-1-60566-384-5.
       </em>
-    [[toggle id=id21 text="Abstract..."]] [[toggleable id=id21 text="""
+    [[!toggle id=id21 text="Abstract..."]] [[!toggleable id=id21 text="""
     *Abstract:* A foreseeable incarnation of Web 3.0 could inherit machine understandability from the Semantic Web, and collaborative editing from Web 2.0 applications. We review the research and development trends which are getting today Web nearer to such an incarnation. We present semantic wikis, microformats, and the so-called "lowercase semantic web": they are the main approaches at closing the technological gap between content authors and Semantic Web technologies. We discuss a too often neglected aspect of the associated technologies, namely how much they adhere to the wiki philosophy of open editing: is there an intrinsic incompatibility between semantic rich content and unconstrained editing? We argue that the answer to this question can be "no", provided that a few yet relevant shortcomings of current Web technologies will be fixed soon.
     """]]
 
@@ -59,14 +59,14 @@ in reverse chronological order.
         SAC 2009</a> (the 24th Annual ACM Symposium on Applied
         Computing), <a href="http://www.cs.unibo.it/sacwt09/">Track on
         Web Technologies</a>.</em>
-    [[toggle id=id23 text="Abstract..."]] [[toggleable id=id23 text="""
+    [[!toggle id=id23 text="Abstract..."]] [[!toggleable id=id23 text="""
     *Abstract:* The Web 2.0 fosters the creation of communities by offering users a wide array of social software tools. But, while the success of these tools is based on their ability to support different interaction patterns among users by imposing as less limitations as possible, the communities they support are not free of rules (just think about the posting rules in a community forum or the editing rules in a thematic wiki). In this paper we propose a framework for the sharing of best community practices in the form of a (potentially rule-based) annotation layer that can be integrated with existing Web 2.0 community tools (with specific focus on wikis). This solution is characterized by minimal intrusiveness and plays nicely within the open spirit of the Web 2.0 by proving users with behavioral hints rather than by enforcing the strict adherence to a set of rules.
     """]]
  1. <a class="paper_download" href="hotswup-package-upgrade.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Roberto Di Cosmo, Paulo Trezentos, Stefano Zacchiroli. **Package Upgrades in FOSS Distributions: Details and Challenges**.  <em>In proceedings
          of <a href="http://www.hotswup.org/">HotSWUp'08 (Hot Topics
          in Software Upgrades)</a>. October 20, 2008, Nashville,
          Tennessee, USA. ACM ISBN 978-1-60558-304-4/08/10.</em>
-    [[toggle id=id22 text="Abstract..."]] [[toggleable id=id22 text="""
+    [[!toggle id=id22 text="Abstract..."]] [[!toggleable id=id22 text="""
     *Abstract:* The upgrade problems faced by Free and Open Source Software distributions have characteristics not easily found elsewhere. We describe the structure of packages and their role in the upgrade process. We show that state of the art package managers have shortcomings inhibiting their ability to cope with frequent upgrade failures. We survey current countermeasures to such failures, argue that they are not satisfactory, and sketch alternative solutions.
     """]]
  1. <a class="paper_download" href="wiki-templating.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1145/1367497.1367581" title="Document Object Identifier">doi&gt;</a></span> Angelo Di Iorio, Fabio Vitali, Stefano Zacchiroli. **Wiki Content Templating**.  <em>
@@ -76,7 +76,7 @@ in reverse chronological order.
         <a href="http://portal.acm.org/citation.cfm?doid=1367497.1367581">pp.
           615-624</a>.
       </em>
-    [[toggle id=id18 text="Abstract..."]] [[toggleable id=id18 text="""
+    [[!toggle id=id18 text="Abstract..."]] [[!toggleable id=id18 text="""
     *Abstract:* Wiki content templating enables reuse of content structures among wiki pages. In this paper we present a thorough study of this widespread feature, showing how its two state of the art models (functional and creational templating) are sub-optimal. We then propose a third, better, model called lightly constrained (LC) templating and show its implementation in the Moin wiki engine. We also show how LC templating implementations are the appropriate technologies to push forward semantically rich web pages on the lines of (lowercase) semantic web and microformats.
     """]]
  1. <a class="paper_download" href="steve-latvia.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli. **Streaming Validation of Schemata: the Lazy Typing Discipline**.  <em>
@@ -84,7 +84,7 @@ in reverse chronological order.
          Languages 2007</a>: The Markup Theory and Practice Conference.
        August 7-10, 2007 Montreal, Canada.
       </em>
-    [[toggle id=id15 text="Abstract..."]] [[toggleable id=id15 text="""
+    [[!toggle id=id15 text="Abstract..."]] [[!toggleable id=id15 text="""
     *Abstract:* Assertions, identity constraints, and conditional type assignments are (planned) features of XML Schema which rely on XPath evaluation to various ends. The allowed XPath subset exploitable in those features is trimmed down for streamability concerns partly understandable (the apparent wish to avoid buffering to determine the evaluation of an expression) and partly artificial. In this paper we dissect the XPath language in subsets with varying streamability characteristics. We also identify the larger subset which is compatible with the typing discipline we believe underlies some of the choices currently present in the XML Schema specifications. We describe such a discipline as imposing that the type of an element has to be decided when its start tag is encountered and its validity has to be when its end tag is. We also propose an alternative lazy typing discipline where both type assignment and validity assessment are fired as soon as they are available in a best effort manner. We believe our discipline is more flexible and delegate to schema authors the choice of where to place in the trade-off between using larger XPath subsets and increasing buffering requirements or expeditiousness of typing information availability.
     """]]
  1. <a class="paper_download" href="disambiguation-errors.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/978-3-540-73086-6_30" title="Document Object Identifier">doi&gt;</a></span> Claudio Sacerdoti Coen, Stefano Zacchiroli. **Spurious Disambiguation Error Detection**.  <em>
@@ -94,7 +94,7 @@ in reverse chronological order.
          4573</a>, Springer Berlin / Heidelberg, ISBN 978-3-540-73083-5, <a href="http://www.springerlink.com/content/87747204m4r45565/">pp.
          381-392</a>, 2007.
       </em>
-    [[toggle id=id14 text="Abstract..."]] [[toggleable id=id14 text="""
+    [[!toggle id=id14 text="Abstract..."]] [[!toggleable id=id14 text="""
     *Abstract:* The disambiguation approach to the input of formulae enables the user to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When it comes to incorrect formulae we want to present only errors related to the interpretation meant by the user, hiding errors related to other interpretations (spurious errors). We propose a heuristic to recognize spurious errors, which has been integrated with the disambiguation algorithm of [1].
     """]]
  1. <a class="paper_download" href="streaming-co-constraints.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Paolo Marinelli, Stefano Zacchiroli. **Co-Constraint Validation in a Streaming Context**.  <em>
@@ -104,7 +104,7 @@ in reverse chronological order.
                Scholarship 2006</a> as best student paper.  Boston, MA --
        December 5-7, 2006.
       </em>
-    [[toggle id=id13 text="Abstract..."]] [[toggleable id=id13 text="""
+    [[!toggle id=id13 text="Abstract..."]] [[!toggleable id=id13 text="""
     *Abstract:* In many use cases applications are bound to be run consuming only a limited amount of memory. When they need to validate large XML documents, they have to adopt streaming validation, which does not rely on an in-memory representation of the whole input document. In order to validate an XML document, different kinds of constraints need to be verified. Co-constraints---which relate the content of elements to the presence and values of other attributes or elements---are one such kind of constraints. In this paper we propose an approach to the problem of validating in a streaming fashion an XML document against a schema also specifying co-constraints. We describe how the streaming evaluation of co-constraints influences the output of the validation process. Our proposal makes use of the validation language SchemaPath, a light extension to XML Schema, adding conditional type assignment for the support of co-constraints. The paper is based on the description of our streaming SchemaPath validator.
     """]]
  1. <a class="paper_download" href="matita-crafting.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/978-3-540-74464-1_2" title="Document Object Identifier">doi&gt;</a></span> Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli. **Crafting a Proof Assistant**.  <em>
@@ -114,7 +114,7 @@ in reverse chronological order.
          4502</a>, Springer Berlin / Heidelberg, ISBN 978-3-540-74463-4, <a href="http://www.springerlink.com/content/148x29r15435650l/">pp.
          18-32</a>, 2007.
       </em>
-    [[toggle id=id10 text="Abstract..."]] [[toggleable id=id10 text="""
+    [[!toggle id=id10 text="Abstract..."]] [[!toggleable id=id10 text="""
     *Abstract:* Proof assistants are complex applications whose development has never been properly systematized or documented. This work is a contribution in this direction, based on our experience with the development of Matita: a new interactive theorem prover based---as Coq---on the Calculus of Inductive Constructions (CIC). In particular, we analyze its architecture focusing on the dependencies of its components, how they implement the main functionalities, and their degree of reusability. The work is a first attempt to provide a ground for a more direct comparison between different systems and to highlight the common functionalities, not only in view of reusability but also to encourage a more systematic comparison of different softwares and architectural solutions.
     """]]
  1. <a class="paper_download" href="tinycals.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.entcs.2006.09.026" title="Document Object Identifier">doi&gt;</a></span> Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli. **Tinycals: Step by Step Tacticals**.  <em>
@@ -123,7 +123,7 @@ in reverse chronological order.
          2006</a>: User Interfaces for Theorem Provers. Seattle, WA -- August
        21, 2006. <a href="http://www.elsevier.com/locate/issn/15710661">ENTCS (Elsevier, ISSN 1571-0661)</a>, <a href="http://www.sciencedirect.com/science/journal/15710661">Volume 174, Issue 2, pp. 125-142 (15 May 2007)</a>.
       </em>
-    [[toggle id=id8 text="Abstract..."]] [[toggleable id=id8 text="""
+    [[!toggle id=id8 text="Abstract..."]] [[!toggleable id=id8 text="""
     *Abstract:* Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this paper we discuss how these ingredients do not interact well with user interfaces based on the same interaction paradigm of Proof General (the de facto standard in this field), identifying in the coarse-grainedness of tactical evaluation the key problem. We propose Tinycals as an alternative to a subset of LCF tacticals, showing that the user does not experience the same problem if tacticals are evaluated in a more fine-grained manner. We present the formal operational semantics of tinycals as well as their implementation in the Matita proof assistant.
     """]]
  1. <a class="paper_download" href="constrainedwiki.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1145/1149453.1149471" title="Document Object Identifier">doi&gt;</a></span> Angelo Di Iorio, Stefano Zacchiroli. **Constrained Wiki: an Oxymoron?**.  <em>
@@ -134,7 +134,7 @@ in reverse chronological order.
        <a href="http://www.wikisym.org/ws2006/proceedings/p89.pdf">pp.
          89-98</a>.
       </em>
-    [[toggle id=id7 text="Abstract..."]] [[toggleable id=id7 text="""
+    [[!toggle id=id7 text="Abstract..."]] [[!toggleable id=id7 text="""
     *Abstract:* In this paper we propose a new wiki concept -- light constraints -- designed to encode community best practices and domain-specific requirements, and to assist in their application. While the idea of constraining user editing of wiki content seems to inherently contradict "The Wiki Way", it is well-known that communities of users involved in wiki sites have the habit of establishing best authoring practices. For domain-specific wiki systems which process wiki content, it is often useful to enforce some well-formedness conditions on specific page contents. This paper describes a general framework to think about the interaction of wiki system with constraints, and presents a generic architecture which can be easily incorporated into existing wiki systems to exploit the capabilities enabled by light constraints.
     """]]
  1. <a class="paper_download" href="notation.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/11812289_16" title="Document Object Identifier">doi&gt;</a></span> Luca Padovani, Stefano Zacchiroli. **From Notation to Semantics: There and Back Again**.  <em>
@@ -144,7 +144,7 @@ in reverse chronological order.
          4108</a>, Springer Berlin / Heidelberg, ISBN 978-3-540-37104-5, <a href="http://www.springerlink.com/content/h603702tj6306100/">pp.
          194-207</a>, 2006.
       </em>
-    [[toggle id=id6 text="Abstract..."]] [[toggleable id=id6 text="""
+    [[!toggle id=id6 text="Abstract..."]] [[!toggleable id=id6 text="""
     *Abstract:* Mathematical notation is a structured, open, and ambiguous language. In order to support mathematical notation in MKM applications one must necessarily take into account presentational as well as semantic aspects. The former are required to create a familiar, comfortable, and usable interface to interact with. The latter are necessary in order to process the information meaningfully. In this paper we investigate a framework for dealing with mathematical notation in a meaningful, extensible way, and we show an effective instantiation of its architecture to the field of interactive theorem proving. The framework builds upon well-known concepts and widely-used technologies and it can be easily adopted by other MKM applications.
     """]]
  1. <a class="paper_download" href="whelp.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/11617990_2" title="Document Object Identifier">doi&gt;</a></span> Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli. **A Content Based Mathematical Search Engine: Whelp**.  <em>
@@ -155,7 +155,7 @@ in reverse chronological order.
          3839</a>, Springer Berlin / Heidelberg, ISBN 3-540-31428-8, <a href="http://www.springerlink.com/content/y13172v735082217/">pp.
          17-32</a>, 2006.
       </em>
-    [[toggle id=id5 text="Abstract..."]] [[toggleable id=id5 text="""
+    [[!toggle id=id5 text="Abstract..."]] [[!toggleable id=id5 text="""
     *Abstract:* The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The prototype, called Whelp, exploits a metadata approach for indexing the information that looks far more flexible than traditional indexing techniques for structured expressions like substitution, discrimination, or context trees. The prototype has been instantiated to the standard library of the Coq proof assistant extended with many user contributions.
     """]]
  1. <a class="paper_download" href="gmetadom.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/b101929" title="Document Object Identifier">doi&gt;</a></span> Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli. **A Generative Approach to the Implementation of Language Bindings for the Document Object Model**.  <em>
@@ -167,7 +167,7 @@ in reverse chronological order.
        <a href="http://www.springerlink.com/content/3cf6a7vvry9d1la1/">pp.
          469-487</a>, 2004.
       </em>
-    [[toggle id=id4 text="Abstract..."]] [[toggleable id=id4 text="""
+    [[!toggle id=id4 text="Abstract..."]] [[!toggleable id=id4 text="""
     *Abstract:* The availability of a C implementation for the Document Object Model (DOM) gives the interesting opportunity of generating bindings for different programming languages automatically. Because of the DOM bias towards Java-like languages, a C implementation that fakes objects, inheritance, polymorphism, exceptions and uses reference-counting introduces a gap between the API specification and its actual implementation that the bindings should try to close. In this paper we overview the generative approach in this particular context and apply it for the generation of C++ and OCaml bindings.
     """]]
  1. <a class="paper_download" href="mathsearch.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Andrea Asperti, Stefano Zacchiroli. **Searching Mathematics on the Web: State of the Art and Future Developments**.  <em>
@@ -179,7 +179,7 @@ in reverse chronological order.
        2004 <a href="http://www.emis.de/proceedings/Stockholm2004/asperti.pdf">p. 9-18</a>. FIZ
        Karlsruhe, ISBN 3-88127-107-4.
       </em>
-    [[toggle id=id3 text="Abstract..."]] [[toggleable id=id3 text="""
+    [[!toggle id=id3 text="Abstract..."]] [[!toggleable id=id3 text="""
     *Abstract:* A huge amount of mathematical knowledge is nowadays available on the World Wide Web. Many different solutions and technologies for searching that knowledge have been developed as well. We present the state of the art of searching mathematics on the Web, giving some insight on future developments in this area.
     """]]
  1. <a class="paper_download" href="disambiguation.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Claudio Sacerdoti Coen, Stefano Zacchiroli. **Efficient Ambiguous Parsing of Mathematical Formulae**.  <em>
@@ -191,7 +191,7 @@ in reverse chronological order.
        <a href="http://www.springerlink.com/content/kxkbpg34y5xrtenu/">pp.
          347-362</a>, 2004.
       </em>
-    [[toggle id=id2 text="Abstract..."]] [[toggleable id=id2 text="""
+    [[!toggle id=id2 text="Abstract..."]] [[!toggleable id=id2 text="""
     *Abstract:* Mathematical notation has the characteristic of being ambiguous: operators can be overloaded and information that can be deduced is often omitted. Mathematicians are used to this ambiguity and can easily disambiguate a formula making use of the context and of their ability to find the right interpretation. Software applications that have to deal with formulae usually avoid these issues by fixing an unambiguous input notation. This solution is annoying for mathematicians because of the resulting tricky syntaxes and becomes a show stopper to the simultaneous adoption of tools characterized by different input languages. In this paper we present an efficient algorithm suitable for ambiguous parsing of mathematical formulae. The only requirement of the algorithm is the existence of a validity predicate over abstract syntax trees of incomplete formulae with placeholders. This requirement can be easily fulfilled in the applicative area of interactive proof assistants, and in several other areas of Mathematical Knowledge Management.
     """]]
  1. <a class="paper_download" href="hbugs.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Claudio Sacerdoti Coen, Stefano Zacchiroli. **Brokers and Web-Services for Automatic Deduction: a Case Study**.  <em>
@@ -202,7 +202,7 @@ in reverse chronological order.
        Reasoning. Roma, Italy -- September 10-12, 2003, Aracne Editrice S.R.L.
        ISBN 88-7999-545-6, pp. 43-57, 2003.
       </em>
-    [[toggle id=id1 text="Abstract..."]] [[toggleable id=id1 text="""
+    [[!toggle id=id1 text="Abstract..."]] [[!toggleable id=id1 text="""
     *Abstract:* We present a planning broker and several Web-Services for automatic deduction. Each Web-Service implements one of the tactics usually available in interactive proof-assistants. When the broker is submitted a proof status (an incomplete proof tree and a focus on an open goal) it dispatches the proof to the Web-Services, collects the successful results, and send them back to the client as hints as soon as they are available. In our experience this architecture turns out to be helpful both for experienced users (who can take benefit of distributing heavy computations) and beginners (who can learn from it).
     """]]
 
@@ -214,21 +214,21 @@ in reverse chronological order.
        <a href="http://www.mancoosi.org/deliverables/d5.1.pdf">D5.1</a>,
        work package 5. November 2008.
       </em>
-    [[toggle id=id24 text="Abstract..."]] [[toggleable id=id24 text="""
+    [[!toggle id=id24 text="Abstract..."]] [[!toggleable id=id24 text="""
     *Abstract:* This document contains several related specifications, taken together they describe the document formats related to the solver competition which will be organized by Mancoosi. In particular, this document describes: DUDF (Distribution Upgradeability Description Format), the document format to be used to submit upgrade problem instances from user machines to a (distribution-specific) database of upgrade problems; CUDF (Common Upgradeability Description Format), the document format used to encode upgrade problems, abstracting over distribution-specific details. Solvers taking part in the competition will be fed with input in CUDF format.
     """]]
  1. <a class="paper_download" href="flea.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Luca Padovani, Stefano Zacchiroli. **Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators**.  <em>
        <a href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2007.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2007-23">Technical
          report UBLCS-2007-23</a>, September 2007, <a href="http://www.cs.unibo.it">Department of Computer Science</a>, <a href="http://www.unibo.it">University of Bologna</a>.
       </em>
-    [[toggle id=id17 text="Abstract..."]] [[toggleable id=id17 text="""
+    [[!toggle id=id17 text="Abstract..."]] [[!toggleable id=id17 text="""
     *Abstract:* Because of their fully annotated structure, XML documents are normally believed to require a straightforward parsing phase. However, the standard APIs for accessing their content (the Document Object Model and the Simple API for XML) provide a programming interface that is very low-level and is thus inadequate for the recognition of any structure that is not isomorphic to its XML encoding. Even when the document undergoes validation, its unmarshalling into application-specific data using these APIs requires poorly maintainable, tedious-to-write, and possibly inefficient code. We describe a technique for the simultaneous parsing, validation, and unmarshalling of XML documents that combines a stream-oriented XML parser with a LALR(1) parser in order to guarantee efficient stream processing, expressive validation capabilities, and the possibility to associate user-provided actions with specific patterns occurring in the source documents.
     """]]
  1. <a class="paper_download" href="wiki-templating-tr.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Angelo Di Iorio, Fabio Vitali, Stefano Zacchiroli. **Templating Wiki Content for Fun and Profit**.  <em>
        <a href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2007.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2007-21">Technical
          report UBLCS-2007-21</a>, August 2007, <a href="http://www.cs.unibo.it">Department of Computer Science</a>, <a href="http://www.unibo.it">University of Bologna</a>.
       </em>
-    [[toggle id=id16 text="Abstract..."]] [[toggleable id=id16 text="""
+    [[!toggle id=id16 text="Abstract..."]] [[!toggleable id=id16 text="""
     *Abstract:* Content templating enables reuse of content structures between wiki pages. Such a feature is implemented in several mainstream wiki engines. Systematic study of its conceptual models and comparison of the available implementations are unfortunately missing in the wiki literature. In this paper we aim to fill this gap first analyzing template-related user needs, and then reviewing existing approaches at content templating. Our investigation shows that two models emerge---functional and creational templating---and that both have weakness failing to properly fit in "The Wiki Way". As a solution, we propose the adoption of creational templates enriched with light constraints, showing that such a solution has a low implementative footprint in state-of-the-art wiki engines, and that it has a synergy with semantic wikis.
     """]]
 
@@ -241,7 +241,7 @@ in reverse chronological order.
          Benzmueller</a>, <a href="http://users.dimi.uniud.it/~marino.miculan/">Marino
          Miculan</a>).
       </em>
-    [[toggle id=id12 text="Abstract..."]] [[toggleable id=id12 text="""
+    [[!toggle id=id12 text="Abstract..."]] [[!toggleable id=id12 text="""
     *Abstract:* Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant---Coq---with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or "undo") past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathML-Presentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.
     """]]
  1. <a class="paper_download" href="master-thesis.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Stefano Zacchiroli. **Web services per il supporto alla dimostrazione interattiva (Web services for interactive theorem proving)**.  <em>
@@ -257,7 +257,7 @@ in reverse chronological order.
        the <a href="http://www.debian.org">Debian</a> project
        developers). August 10-16, 2008, Mar del Plata,
        Argentina.</em>
-    [[toggle id=id21.1 text="Abstract..."]] [[toggleable id=id21.1 text="""
+    [[!toggle id=id21.1 text="Abstract..."]] [[!toggleable id=id21.1 text="""
     *Abstract:* Mancoosi (Managing the Complexity of the Open Source Infrastructure) is an ongoing research project funded by the European Union for addressing some of the challenges related to the "upgrade problem" of interdependent software components of which Debian packages are prototypical examples. Mancoosi is the natural continuation of the EDOS project which has already contributed tools for distribution-wide quality assurance in Debian and other GNU/Linux distributions. The consortium behind the project consists of several European public and private research institutions as well as some commercial GNU/Linux distributions from Europe and South America. Debian is represented by a small group of Debian Developers who are working in the ranks of the involved universities to drive and integrate back achievements into Debian. This paper presents relevant results from EDOS in dependency management and gives an overview of the Mancoosi project and its objectives, with a particular focus on the prospective benefits for Debian.
     """]]
 
index bb26e94..873bb7d 100644 (file)
--- a/tags.mdwn
+++ b/tags.mdwn
@@ -1 +1 @@
-[[pagestats pages="tags/*"]]
+[[!pagestats pages="tags/*"]]
index bb5282c..2e79a87 100644 (file)
@@ -1,2 +1,2 @@
 Stuff about my academic [[research]] or [[teaching]].
-[[template id=tag_feeds name="academia"]]
+[[!template id=tag_feeds name="academia"]]