Re: [Jmol-developers] command history

[Miguel <mi...@jm...>]

> Miguel,
>
> I think it is resolved, at least if Egon agrees with what I did.

Good.

Rene, I know that we need to pick up the development on the
names/properties stuff.


Miguel