[#AMATH-757] extasy output theory should be plain

ActiveMath

extasy output theory should be plain

Created: 2006-05-11 16:05 Updated: 2006-11-13 21:11

Component/s:

Authoring

Affects Version/s:

1.0b4

Fix Version/s:

1.0

Time Tracking:

Not Specified

Description

« Hide

The current output of extasy, in OMDoc, is very unreadable... ah well...
At least, it should not require manual modifications... currently, the only one needed is that theory id must be made a single, slash-less, word.... maybe this can be done ?
paul

All

Comments

Work Log

Change History

Version Control

FishEye

Crucible

Related Builds

Sort Order:

Ascending order - Click to sort in descending order

[ Permlink | « Hide ]

Admin (Paul Libbrecht) - 2006-05-11 16:05

fixing components.

[ Permlink | « Hide ]

Paul Libbrecht - 2006-11-13 21:11

The current output of extasy is ok.
It ccould be added with a theory but the id of that theory should not not be mbase://collection/theory/ but simply theory.