Task cont-2: add-search-see: add an item, find it, see it

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

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