exercise-%: %
cp $< $@
perl -ne 'undef $$/;s/\(\*BEGIN.*?END\*\)/…/msg;print' -i $@
- #perl -ne 'undef $$/;s/\(\*DOCBEGIN.*?DOCEND\*\)//msg;print' -i $@
+ perl -ne 'undef $$/;s/\(\*DOCBEGIN.*?DOCEND\*\)//msg;print' -i $@
(echo '<?xml version="1.0" encoding="UTF-8"?><html><head></meta http-equiv="Content-Type" content="text/html; charset=utf-8"><style type="text/css">pre, code { font-family: Sans; font-size: 1em; background-color:#efee79; } pre { margin-right: 5em;}</style></head><body>'; awk 'BEGIN { p = 0; } /DOCEND/ { p = 0; } { if (p == 1) print $$0; } /DOCBEGIN/ { p = 1;}' < $< | markdown; echo '</body></html>') > $@.html
(* Esercitazione di logica 22/10/2008. *)
+
+(* Nota per gli studenti
+ =====================
+
+ * La lezione del pomeriggio con il Prof. Sacerdoti si terrà in aula
+ Pinkerle e non Cremona.
+
+ * Un piccolo manuale sul software Matita è disponibile al seguente URL:
+
+ http://mowgli.cs.unibo.it/~tassi/exercise-induction.ma.html
+
+*)
(* Esercizio 0
===========
* salvare il file (menu `File ▹ Save as ...`) nella directory (cartella)
/public/ con nome linguaggi_Account1.ma, ad esempio Mario Rossi, il cui
- account è mrossi deve salvare il file in /public/linguaggi_mrossi.ma
+ account è mrossi, deve salvare il file in /public/linguaggi_mrossi.ma
+
+ * mandatevi via email o stampate il file. Per stampare potete usare
+ usare l'editor gedit che offre la funzionalità di stampa
*)
(*DOCBEGIN
projects / helm.git / commitdiff