Vim

Checking sender address

Scenario

• mutt email client
• vim editor
• sending from more than one email account (e.g. separate personal and work addresses)

Problem

Emails are sometimes sent from an inappropriate address.

Possible solution

A simple vim plugin script that checks the sender address, a database of personal contacts and offers a choice of sender addresses if necessary. Further details are given inside the script.

Otl2draft

Requirement

Convert outlines written with The Vim Outliner into LaTeX drafts (or manipulate with Standard ML).

Possible solution

A small program, otl2draft, that performs the conversion:

• source package (in Standard ML)
• executable for Windows (MinGW)
• executable for Linux (x86)
• executable for FreeBSD 6 (x86)

Uppaal

Changing a system declaration

Scenario

• Uppaal model-checker

Problem

Change a system declaration from the command line so as to automatically generate different verification tasks.

Possible solution

This xslt stylesheet. It can be processed with xsltproc:

xsltproc --stringparam system 'system Train, Gate;'        \
         --novalid change_uppaal_system.xml inputmodel.xml \
         > outputmodel.xml