Natural Deduction

http://teachinglogic.univ-grenoble-alpes.fr/DN/

Bonjour ou bonsoir à tous,

Je suis en train de construire un site sous SPIP et j’aimerais pouvoir intégrer un certain nombre de prouveurs comme celui-ci dont je donne le lien. Sachant que ce prouveur contient du code PHP, existe-t-il un moyen simple de l’intégrer dans un article SPIP? Si oui, comment? En passant par les modèles? Sinon, bien entendu, je peux faire un lien à partir d’un article vers un répertoire contenant ce prouveur qui comporte un fichier index.php, mais je préférerais une intégration plus élégante.

Merci par avance de votre aide,

Joseph

Bonsoir

Une iframe quand on veut faire des truc pas top et tordu.

Le jeu. 13 déc. 2018 à 19:45, Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com> a écrit :

http://teachinglogic.univ-grenoble-alpes.fr/DN/

Bonjour ou bonsoir à tous,

Je suis en train de construire un site sous SPIP et j’aimerais pouvoir intégrer un certain nombre de prouveurs comme celui-ci dont je donne le lien. Sachant que ce prouveur contient du code PHP, existe-t-il un moyen simple de l’intégrer dans un article SPIP? Si oui, comment? En passant par les modèles? Sinon, bien entendu, je peux faire un lien à partir d’un article vers un répertoire contenant ce prouveur qui comporte un fichier index.php, mais je préférerais une intégration plus élégante.

Merci par avance de votre aide,

Joseph


liste spip
spip@rezo.net - désabonnement : envoyer un mail à spip-off@rezo.net

Archives : https://www.mail-archive.com/spip@rezo.net/maillist.html

Infos : https://listes.rezo.net/mailman/listinfo/spip

Documentation de SPIP : http://www.spip.net/

Irc : de l’aide à toute heure : http://spip.net/irc

Merci Pierre, grâce à ta suggestion, et à cet article,

http://icietla-ge.ch/voir2/spip.php?article78

l’intégration s’est faite en moins d’une minute. Génial !

Bonne soirée !