update pizza etc

[ker2014-2.git] / report / src / pizza.ail

diff --git a/report/src/pizza.ail b/report/src/pizza.ail
index 75fbb04..e51fed6 100644 (file)
--- a/report/src/pizza.ail
+++ b/report/src/pizza.ail
@@ -3,3 +3,16 @@
 %      Salami    : cheese, tomatosauce, salami.
 %      Funghi    : cheese, tomatosauce, mushrooms, ham(50%).
 %      Pepperoni : cheese, tomatosauce, salami, jalapeños.
+
+prob salamicircle: 1/2.
+prob mozarellacircle: 1/2.
+prob chililines: 4/5.
+prob taugelines: 1/5.
+prob blocksham: 1/2.
+prob blockspineapple: 1/2.
+
+circles
+doublecircles
+lines
+squares
+blob