[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: TeXmacs & notbook (was: Re: [Axiom-developer] OpenMath)
From: |
root |
Subject: |
Re: TeXmacs & notbook (was: Re: [Axiom-developer] OpenMath) |
Date: |
Thu, 13 May 2004 11:30:30 -0400 |
re: pamphlets-to-notebook
The hard part seems to be to make them isomorphic. I expect the
edits in either to be reflected in the other (long term: viewing
info as a pamphlet, as code, as a notebook, as a point in a type
lattice, are each facets of a crystal looking at the same underlying
data representation).
Currently, by pamphlet I do mean the noweb+latex but in the long
term this is certain to change and grow (we already have a booklet
format which I'm only using in the CATS test suite, which hasn't
yet been exported to the world).
t
- [Axiom-developer] OpenMath, Tim Daly, 2004/05/12
- Re: [Axiom-developer] OpenMath, Mike Dewar, 2004/05/13
- Re: [Axiom-developer] OpenMath, root, 2004/05/13
- Re: [Axiom-developer] OpenMath, David MENTRE, 2004/05/13
- Re: [Axiom-developer] OpenMath, root, 2004/05/13
- Re: [Axiom-developer] OpenMath, Bertfried Fauser, 2004/05/13
- Re: [Axiom-developer] OpenMath, root, 2004/05/13
- Re: [Axiom-developer] OpenMath, Bob McElrath, 2004/05/13
- TeXmacs & notbook (was: Re: [Axiom-developer] OpenMath), David MENTRE, 2004/05/13
- Re: TeXmacs & notbook (was: Re: [Axiom-developer] OpenMath),
root <=
- Re: [Axiom-developer] OpenMath, root, 2004/05/13
- Re: [Axiom-developer] OpenMath, Bertfried Fauser, 2004/05/13
- Re: [Axiom-developer] OpenMath, David MENTRE, 2004/05/13
- Re: [Axiom-developer] OpenMath, root, 2004/05/13
- Re: [Axiom-developer] OpenMath, Mike Dewar, 2004/05/13
- Re: [Axiom-developer] OpenMath, root, 2004/05/17
- Re: [Axiom-developer] OpenMath, C Y, 2004/05/13
- Re: [Axiom-developer] OpenMath, root, 2004/05/13
- Re: [Axiom-developer] OpenMath, C Y, 2004/05/13
- Re: [Axiom-developer] OpenMath, Bertfried Fauser, 2004/05/14