David Le

Dear Leo, Thank you very much for your information. Your answers do help to support...

Hi, I am attempting to formalise Java in Object-Z. The basic constructs (class, field,...

Hi Leo, Thank you so much. I will download the oz.sty and try it. Hope it works.

Hi Andrius and Leo, Thank you for your prompt response. I have just had a chance...

Hi, I have tried to install JEdit's CZT pluggin as instructed on the web site. However,...

Hi Leo, You are right! I should have declared the types using the \begin{class}...\end{class}...

Hi Leo, Regarding to taking up the oz-eclipse integration challenge, I am very tempted...

Hi Leo, Just wanted to add that after restarting the ide with the compiler dialect...