--- BEFORE DEMO ---

cd /home/dpm/Projects/Cerco/Deliverables/D4.1/Demo-March-2011/
~/Projects/Matita/matita/matita.opt matita/DoTest.ma &

--- DURING DEMO ---
cd ../../D2.2/8051/
less dpmtests/Search.c
./acc.native -o dpmtests/ dpmtests/Search.c 
less dpmtests/Search.hex
cp dpmtests/Search.hex ../../D4.1/Demo-March-2011/
cd ../../D4.1/Demo-March-2011/
mcu8051ide &                          (set XCODE memory in Project > Edit Project)