Re: [fpc-devel] Request to merge formal annotation facility into main trunk

2008-09-19 Thread Tom Verhoeff
On Fri, Aug 17, 2007 at 05:03:42PM +0200, Michael Van Canneyt wrote: > > On Fri, 17 Aug 2007, Tom Verhoeff wrote: > > > Is it possible to merge Jochem's extensions with the main trunk? > > They are in the SVN repository in branches/tue/. > > As far as I am concerned, this is a welcome addition.

Re: [fpc-devel] Request to merge formal annotation facility into main trunk

2007-08-29 Thread Michael Van Canneyt
On Wed, 29 Aug 2007, Marco van de Voort wrote: > > On Fri, Aug 17, 2007 at 05:03:42PM +0200, Michael Van Canneyt wrote: > > It turns out the documentation was done in Open Office. > > > > I have put the *.odt and corresponding extracted text *.txt in > > > >

Re: [fpc-devel] Request to merge formal annotation facility into main trunk

2007-08-29 Thread Marco van de Voort
> On Fri, Aug 17, 2007 at 05:03:42PM +0200, Michael Van Canneyt wrote: > It turns out the documentation was done in Open Office. > > I have put the *.odt and corresponding extracted text *.txt in > > (btw note that openoffice (at least 2.2)

Re: [fpc-devel] Request to merge formal annotation facility into main trunk

2007-08-29 Thread Michael Van Canneyt
On Wed, 29 Aug 2007, Tom Verhoeff wrote: > On Fri, Aug 17, 2007 at 05:03:42PM +0200, Michael Van Canneyt wrote: > > > > > > On Fri, 17 Aug 2007, Tom Verhoeff wrote: > > > > > Is it possible to merge Jochem's extensions with the main trunk? > > > They are in the SVN repository in branches/tue/

Re: [fpc-devel] Request to merge formal annotation facility into main trunk

2007-08-29 Thread Tom Verhoeff
On Fri, Aug 17, 2007 at 05:03:42PM +0200, Michael Van Canneyt wrote: > > > On Fri, 17 Aug 2007, Tom Verhoeff wrote: > > > Is it possible to merge Jochem's extensions with the main trunk? > > They are in the SVN repository in branches/tue/. > > As far as I am concerned, this is a welcome additio

Re: [fpc-devel] Request to merge formal annotation facility into main trunk

2007-08-17 Thread Michael Van Canneyt
On Fri, 17 Aug 2007, Tom Verhoeff wrote: > Is it possible to merge Jochem's extensions with the main trunk? > They are in the SVN repository in branches/tue/. As far as I am concerned, this is a welcome addition. If possible, I would even include your user.pdf in the docs. If it is written in L

[fpc-devel] Request to merge formal annotation facility into main trunk

2007-08-17 Thread Tom Verhoeff
(I already mailed this off-list to Florian, but it might be better to discuss it on the list.) We had a student (Jochem Berndsen) who extended FPC with the following facilities for formal annotation in Pascal: * the scanner can recognize {@ ...} in programs. (controled by a command-line o