Opened 8 years ago

Last modified 7 years ago

#54 new enhancement

build in a rudimentary online help system

Reported by: jd Owned by: jd
Priority: major Milestone:
Component: core Version:
Keywords: Cc:

Description

As a first step towards more documentation, we should fill the Help menu with some content. To avoid the overhead of designing a help system from scratch JavaHelp? seems to be a neat toolkit (it has not been updated since 2007, though, and we should develop a prototype first).

Perhaps set up a Wiki page for collecting all kinds of hints we gave while explaining Kahina to other people. Once we have some content, integrate it into the prototype help system.

We might also need a "layered" help system: help information about Kahina in general, using it for logic programming, and using it for TRALE debugging should be packaged separately.

Change History (1)

comment:1 Changed 7 years ago by ke

  • Owner changed from somebody to jd

It might just do to link to online documentation.

Note: See TracTickets for help on using tickets.