Précédent : Formateur incrémental graphique Remonter : Composants élémentaires d'environnements interactifs Suivant : Environnements de programmation
Précédent : Formateur incrémental graphique Remonter
: Composants élémentaires d'environnements
interactifs Suivant : Environnements de
programmation
Participant : Thierry Despeyroux
Mots-clés : interface homme-machine, HTML
Le système Centaur utilise déjà des facilités hypertextuelles permettant à l'utilisateur de faire le lien entre un message d'erreur ou ses composants et le texte source d'un programme.
Nous voulons élargir ces possibilités en permettant la liaison entre un environnement de programmation développé sous Centaur et la documentation qui lui est associée. Cela a été réalisé dans le cadre du système de messages d'erreur de Centaur qui permet dorénavant à l'utilisateur de se référer directement à la documentation HTML correspondant aux messages, et à partir de ces points d'entrée de naviguer à loisir dans la documentation. Nous utilisons pour cela la possibilité d'utilisation de Netscape en mode serveur.
Un exemple complet de documentation HTML, généré à partir d'un source LaTeX, a été développé pour le langage de spécification de syntaxe abstraite AS.