Bug#146320: ITP: maria

2002-08-09 Thread Marko Mäkelä
On Fri, 9 Aug 2002, Junichi Uekawa wrote: > I have an impression that vcg does not feed back information to > other application, but I had an impression that it can be made to > re-read a file. I think that technically, the GraphViz approach is cleaner. The layout engine is in a separate progra

Bug#146320: ITP: maria

2002-08-09 Thread Junichi Uekawa
> I'd really appreciate your help here, as vcg seems to have more layout > options than GraphViz, and it might be easier to get vcg running > properly (communicating via pipes) on Windows than GraphViz lefty. At > first sight, xvcg seems to lack a scripting language. I cannot estimate > how

Bug#146320: ITP: maria

2002-08-08 Thread Marko Mäkelä
Junichi Uekawa wrote: I've been hacking a few programs to work with vcg, which does a fine work similar to graphviz. I really need the node shape "record" of GraphViz for presenting Petri net states in a tabular format, but the example at http://rw4.cs.uni-sb.de/~sander/html/gsvcg6.html> look

Bug#146320: ITP: maria

2002-08-08 Thread Junichi Uekawa
Ralf Treinen <[EMAIL PROTECTED]> immo vero scripsit: > - maria, containing the core > - maria-doc, containing doc in info and html > - maria-viz, containing the interface with the (non-free) graphviz > graph visualiser. maria-viz will go into contrib, this allows > maria to stay in main. I've

Bug#146320: ITP: maria -- Reachability analyzer for Algebraic System Nets

2002-08-04 Thread Ralf Treinen
* Package name: maria Version: 1.2 Upstream author: Marko Mäkelä <[EMAIL PROTECTED]> * URL: http://www.tcs.hut.fi/Software/maria * Licence: GPL Description: Reachability analyzer for Algebraic System Nets Maria is a powerful tool designed to aid engineers in modelling and solving concurrency

Bug#146320: ITP: maria

2002-08-04 Thread Ralf Treinen
On Sun, Aug 04, 2002 at 01:44:42PM +0200, Josselin Mouette wrote: > Le dim 04/08/2002 à 13:38, Moshe Zadka a écrit : > > > > > How large are the docs? what are the chances someone will want the > > > > package > > > > sans the docs? > > > > > > The maria-doc package will be around 150KB, the mar

Bug#146320: ITP: maria

2002-08-04 Thread Moshe Zadka
On 04 Aug 2002, Josselin Mouette <[EMAIL PROTECTED]> wrote: > If maria is architecture-dependent *If*. Since the original poster did not give either a short or long description, it is impossible even to guess. Being architecture dependent is certainly a weighty reason. I'm not really interested

Bug#146320: ITP: maria

2002-08-04 Thread Josselin Mouette
Le dim 04/08/2002 à 13:38, Moshe Zadka a écrit : > > > How large are the docs? what are the chances someone will want the package > > > sans the docs? > > > > The maria-doc package will be around 150KB, the maria core package > > around 300KB. Worth splitting off, IMHO. > > No comment on the "ch

Bug#146320: ITP: maria

2002-08-04 Thread Moshe Zadka
I am sorry to see that CCing the bug# is still beyond you. Is there a reason you're not doing that? On Sun, 4 Aug 2002, Ralf Treinen <[EMAIL PROTECTED]> wrote: > Done before sending the ITP. Then it was not an "RFP" as you misled us to believe in your e-mail. Legalistic arguments belong on -le

Bug#146320: ITP: maria

2002-08-04 Thread Moshe Zadka
On Sun, 4 Aug 2002, Ralf Treinen <[EMAIL PROTECTED]> wrote: > I'm working on a package for maria, a reachability analyzer for > concurrent systems that uses Algebraic System Nets, as requested > in RFP, bug #146320. a. You should have CCed the bug (as I'm doing) b. You should have retitled it to