' on page 47 undefined
on input line 2906.
Would it be possible to provide anchors for all the voices?
Thanks,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagn...@cs.uni
On 06/22/11 21:57, Georg Brandl wrote:
On 22.06.2011 21:50, Roberto Bagnara wrote:
On 02/28/11 20:09, Georg Brandl wrote:
On 28.02.2011 19:41, Prof. Roberto Bagnara wrote:
Has this been planned? I am looking forward to the
possibility of having multiple terms per entry in
a glossary
On 02/28/11 20:09, Georg Brandl wrote:
On 28.02.2011 19:41, Prof. Roberto Bagnara wrote:
Has this been planned? I am looking forward to the
possibility of having multiple terms per entry in
a glossary.
Unfortunately, I currently was and still am quite busy (as you also can see
from my lack
Has this been planned? I am looking forward to the
possibility of having multiple terms per entry in
a glossary.
Thanks,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagn
re is a better way. Moreover, I have
found no workaroung for 2).
Thanks,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagn...@cs.unipr.it
--
You received this message because yo