C Y [EMAIL PROTECTED] wrote:
> Bob, have you had a chance to look at the axiom bibliography stuff I
> put up? Would it be at least compatible with your web based ideas?
I noticed it but didn't have a chance to look closely. Looking now, I
don't really understand what you're trying to do. You've
Bob, have you had a chance to look at the axiom bibliography stuff I
put up? Would it be at least compatible with your web based ideas?
Cheers,
CY
__
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
http://mail.yahoo.
Page, Bill [EMAIL PROTECTED] wrote:
> Dear "Ivan pretending-to-do-reseach-student-of-physics Savov",
[...]
> > PS:
> > My real goal is to create a research-and-writing-portal for
> > scientists based on Zope and Plone.
>
> Talk to Bob. :)
Yeah, me too! :) But I have so little time these days...
Dear "Ivan pretending-to-do-reseach-student-of-physics Savov",
On Thursday, July 13, 2006 2:37 PM you wrote:
> ...
> I am VERY impressed with the Plone/Zope site you are running and
> the smooth support for Latex in it. Being able to manipulate latex
> on the web has been a dream of mine for quit
Hi Tim,
I have forwarded this to one of our developers. He will get back to
you soon. Thanks for taking the time to provide us feedback.
Best regards,
--Scott
On Jul 17, 2006, at 8:57 AM, root wrote:
Your website contains completely incorrect information about Axiom.
On Tuesday, July 18, 2006 8:32 AM C Y wrote:
>
> Just saw an announcement on the Isabelle list
> (http://www.macs.hw.ac.uk/~jbw/phd-student-ad.html) which
> referenced this:
>
http://www.macs.hw.ac.uk/~fairouz/talks/talks2005/mathlang-general-talk.
pdf
>
> I may be wrong, but it sounds like the p
Le lundi 17 juillet 2006 à 21:33 -0400, Bill Page a écrit :
> Greg,
>
> On July 17, 2006 7:55 PM you asked:
> >
> > May I know why the name "Sandbox" has been modified to "Sanbox20" ?
> >
> > Just curious.
> >
>
> Apparently someone identifying themselves as 'scvblwxq' issued a
> rename of 'S
Just saw an announcement on the Isabelle list
(http://www.macs.hw.ac.uk/~jbw/phd-student-ad.html) which referenced
this:
http://www.macs.hw.ac.uk/~fairouz/talks/talks2005/mathlang-general-talk.pdf
I may be wrong, but it sounds like the problems they are looking at
there are a bit similar to the on
