You can subscribe to this list here.
2003 
_{Jan}

_{Feb}

_{Mar}

_{Apr}

_{May}

_{Jun}

_{Jul}

_{Aug}

_{Sep}

_{Oct}
(1) 
_{Nov}

_{Dec}
(2) 

2004 
_{Jan}
(2) 
_{Feb}
(15) 
_{Mar}
(10) 
_{Apr}
(1) 
_{May}
(1) 
_{Jun}
(4) 
_{Jul}
(2) 
_{Aug}
(3) 
_{Sep}
(1) 
_{Oct}

_{Nov}

_{Dec}
(3) 
2005 
_{Jan}
(3) 
_{Feb}
(17) 
_{Mar}
(6) 
_{Apr}
(13) 
_{May}
(17) 
_{Jun}
(53) 
_{Jul}
(36) 
_{Aug}
(29) 
_{Sep}
(17) 
_{Oct}
(21) 
_{Nov}
(37) 
_{Dec}
(25) 
2006 
_{Jan}

_{Feb}
(29) 
_{Mar}
(85) 
_{Apr}
(27) 
_{May}
(25) 
_{Jun}
(57) 
_{Jul}
(3) 
_{Aug}
(8) 
_{Sep}
(24) 
_{Oct}
(43) 
_{Nov}
(22) 
_{Dec}
(10) 
2007 
_{Jan}
(29) 
_{Feb}
(38) 
_{Mar}
(11) 
_{Apr}
(29) 
_{May}
(16) 
_{Jun}
(1) 
_{Jul}
(20) 
_{Aug}
(25) 
_{Sep}
(6) 
_{Oct}
(25) 
_{Nov}
(16) 
_{Dec}
(14) 
2008 
_{Jan}
(18) 
_{Feb}
(12) 
_{Mar}
(3) 
_{Apr}
(1) 
_{May}
(23) 
_{Jun}
(3) 
_{Jul}
(7) 
_{Aug}

_{Sep}
(16) 
_{Oct}
(27) 
_{Nov}
(16) 
_{Dec}
(7) 
2009 
_{Jan}
(1) 
_{Feb}
(12) 
_{Mar}

_{Apr}
(16) 
_{May}
(2) 
_{Jun}
(4) 
_{Jul}

_{Aug}
(4) 
_{Sep}
(7) 
_{Oct}
(12) 
_{Nov}
(8) 
_{Dec}

2010 
_{Jan}

_{Feb}

_{Mar}
(2) 
_{Apr}

_{May}

_{Jun}
(8) 
_{Jul}

_{Aug}
(11) 
_{Sep}

_{Oct}
(1) 
_{Nov}

_{Dec}
(1) 
2011 
_{Jan}
(14) 
_{Feb}
(20) 
_{Mar}
(3) 
_{Apr}
(1) 
_{May}
(1) 
_{Jun}
(23) 
_{Jul}
(1) 
_{Aug}
(3) 
_{Sep}
(5) 
_{Oct}
(19) 
_{Nov}
(1) 
_{Dec}
(5) 
2012 
_{Jan}
(19) 
_{Feb}
(4) 
_{Mar}

_{Apr}
(1) 
_{May}
(2) 
_{Jun}
(7) 
_{Jul}
(33) 
_{Aug}
(3) 
_{Sep}
(3) 
_{Oct}

_{Nov}

_{Dec}

2013 
_{Jan}

_{Feb}

_{Mar}
(3) 
_{Apr}
(48) 
_{May}
(1) 
_{Jun}

_{Jul}

_{Aug}

_{Sep}

_{Oct}

_{Nov}

_{Dec}

2014 
_{Jan}

_{Feb}

_{Mar}

_{Apr}

_{May}

_{Jun}

_{Jul}

_{Aug}

_{Sep}
(1) 
_{Oct}

_{Nov}

_{Dec}

2015 
_{Jan}
(1) 
_{Feb}

_{Mar}

_{Apr}

_{May}

_{Jun}

_{Jul}

_{Aug}
(15) 
_{Sep}

_{Oct}

_{Nov}

_{Dec}

2016 
_{Jan}

_{Feb}
(1) 
_{Mar}
(1) 
_{Apr}

_{May}

_{Jun}

_{Jul}

_{Aug}

_{Sep}

_{Oct}

_{Nov}
(1) 
_{Dec}

S  M  T  W  T  F  S 


1

2

3

4

5

6

7

8

9
(1) 
10
(3) 
11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30





From: Tim Miller <tmill@cs...>  20090610 23:32:27

Hi everyone, Leo Freitas wrote: > What was the "compiler problem" that you refer to for a real division > operator? I Couldn't understand that. > I suspect that Alessandro is referring to this in the schema EXAMPLE: x = 2.1 Alessandro, the expression 2.1 cannot be parsed because it is not valid Z syntax. The dot is a reserved operator in Z that is used to name and tuple referencing only. If you want to use syntax like this, you will have to define a new operator, something like \realdot, which renders like a dot in latex, but which the parser knows is not a dot. Hope that helps. Cheers, Tim 
From: Mark Utting <marku@cs...>  20090610 10:48:11

Alessandro, 2009/6/10 Leo Freitas <leo@...> > To the second question about making the integers a subset of the > reals, you would need to have axioms linking the two types. So, > using \div for \real won't work because there is no link established > between \real and \num in the toolkits. > > And mind you, you also need the axioms for real numbers as well. > Both CADIz, and Proof Power Z do have such definitions. Yes, there is no realnumber toolkit distributed with CZT yet (it would be nice if someone developed one), but you might find the draft 'numdefs' toolkit at the following CadiZ / Z Standard page to be helpful. It shows how rational and reals operators can be defined in Standard Z. http://www.cs.york.ac.uk/hise/Zstandard/toolkits.html Cheers Mark 
From: Leo Freitas <leo@cs...>  20090610 08:48:35

hi Alessandro, If you need to add new LaTeX words, being then for whatever definition, you do need to tell the parser about then with LaTeX Markup directives. Now, depending on the word, there will be a different directive. All directives are documented in the Z Standard. For your case, you are looking for a simple character word without any fixture: \newcommand{\real}{\mathbb{R}} % LaTeX macro %%Zchar \real U+???? % LaTeX markup directive where ???? is the Unicode character used for \mathbb{R}. To find out about Unicode chars, you can go to http://www.unicode.org/charts Note that if you were defining a new binary operator, say \division for real number division as (sorry the crude ASCII): .  . you would need an infix single character operator \newcommand{\division}{\zbinop{"LaTeX Symbol for Division"}} %%Zinchar \division U+???? For defining it as an operator template that is left associative with same precedence as integer division: \begin{zed} \function 40 \leftassoc (\_ \division \_) \end{zed} \begin{axdef} \_ \division \_ : \real \cross \real \pfun \real \where .... \end{axdef} To the second question about making the integers a subset of the reals, you would need to have axioms linking the two types. So, using \div for \real won't work because there is no link established between \real and \num in the toolkits. And mind you, you also need the axioms for real numbers as well. Both CADIz, and Proof Power Z do have such definitions. What was the "compiler problem" that you refer to for a real division operator? I Couldn't understand that. I hope that helps. One good way of finding out practically about this is to look at the toplevel toolkits, like set_toolkit.tex. Let me know if you need more info on this. Best, Leo Alessandro Gurgel wrote: > Hi czters, > > I'm using the czt plugin to make a zed specification in LaTeX format. > The specification contains varibles that have to been real numbers; > There is no specific symbol for real number in the Z Char Map; Hence, I've > tried use an axiomatic definition like : > > \begin{axdef} > \real: \power \arithmos > \where > \forall x:\arithmos @ x \in \real \iff \exists p,q : \num @ x = p \div q > \end{axdef} > > \begin{schema}{EXAMPLE} > x: \real > \where > x = 2.1 > \end{schema} > > I tried to use the commom division operator but there was compiler > problem; Now, I'm using the div operator. Therefore, it is a wrong defintion > of the real set. > > There is a way to define the real set using this plugin ? There a specific > symbol for it ? > > > Alessandro Gurgel > > > >  > >  > Crystal Reports  New Free Runtime and 30 Day Trial > Check out the new simplified licensing option that enables unlimited > royaltyfree distribution of the report engine for externally facing > server and web deployment. > http://p.sf.net/sfu/businessobjects > > >  > > _______________________________________________ > CZTDevel mailing list > CZTDevel@... > https://lists.sourceforge.net/lists/listinfo/cztdevel 
From: Alessandro Gurgel <alessandrogurgel@gm...>  20090609 14:09:16

Hi czters, I'm using the czt plugin to make a zed specification in LaTeX format. The specification contains varibles that have to been real numbers; There is no specific symbol for real number in the Z Char Map; Hence, I've tried use an axiomatic definition like : \begin{axdef} \real: \power \arithmos \where \forall x:\arithmos @ x \in \real \iff \exists p,q : \num @ x = p \div q \end{axdef} \begin{schema}{EXAMPLE} x: \real \where x = 2.1 \end{schema} I tried to use the commom division operator but there was compiler problem; Now, I'm using the div operator. Therefore, it is a wrong defintion of the real set. There is a way to define the real set using this plugin ? There a specific symbol for it ? Alessandro Gurgel 