eds.activemath.org

This task is about adding a new item, finding it in the search tools and previewing in different ways.

Prerequisite:

• create-collection
• applications-on: jEditOQMath, ActiveMath, web-browser

Task steps

• go to jEditOQMath, in the file first.oqmath
• place the cursor just before the line indicating </theory>
• open the Templates Tree tab (see it on the left of the window, will replace AntFarm)
• insert an axiom:
  • your selection should now be the id, put there my-first-axiom
• press C-S-g (control-shift-G on Windows, command-shit-G on MacOSX)
  • (or click the find next button on the right of the toolbar, or invoke OQMath > Go to next template zone)
  • your selection should now be thte title, type my first axiom
• remove the whole part between <extradata> and </extradata>
• press C-S-g again
  • your selection should be the text, insert We have decided all graphs are trees
• now save the file (C-S, pencil button, File > Save)
  • wait a bit to see if it indeed says XML parsing complete, 0 error(s)
  • if you have some errors, please open the “Error List” tab on the top and try to fix them
• click the AntFarm tab on the left
• select collection, ActiveMath Publishing build file
• press the running man
• wait till it says BUILD SUCCESSFUL (really do! using the browser aside may corrupt ActiveMath to the point that it needs to be restarted)
• go to your browser
• open the book Complete Recbook
• see your axiom there
• click the search tool (on the top list of tools)
• type in decided lang:en
  • (you are searching for the word decided in english)
  • you should find your axiom
• type in decided lang:fr
  • you should not find anything
• request more display
• request appears in
• click the book it appears in