diff options
author | Ludovic Courtès | 2008-04-22 22:29:43 +0200 |
---|---|---|
committer | Ludovic Courtès | 2008-04-22 22:29:43 +0200 |
commit | 0bbefcf2bf8a33fef1cd52589805703e8b1f31ce (patch) | |
tree | 6de9bd6416827088242499eafba05acd2f29f0a9 /doc/user/user.skb | |
parent | 527493e181f87f94d15fa4d37832aca928240738 (diff) | |
download | skribilo-0bbefcf2bf8a33fef1cd52589805703e8b1f31ce.tar.gz skribilo-0bbefcf2bf8a33fef1cd52589805703e8b1f31ce.tar.lz skribilo-0bbefcf2bf8a33fef1cd52589805703e8b1f31ce.zip |
doc: Add "More on Skribilo".
* doc/user/user.skb (Introduction)[More on Skribilo]: New section.
Diffstat (limited to 'doc/user/user.skb')
-rw-r--r-- | doc/user/user.skb | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/doc/user/user.skb b/doc/user/user.skb index dfb5a79..d63b8c2 100644 --- a/doc/user/user.skb +++ b/doc/user/user.skb @@ -163,7 +163,22 @@ Skribilo makes these sort of text manipulation easy whereas other systems rely on the use of text preprocessors.]) (item [ The same source file can be compiled to various output formats such -as HTML, PostScript, Info pages, etc.]))))) +as HTML, PostScript, Info pages, etc.])))) + + (section :title "More on Skribilo" :number #f + + (p [Skribilo is based on ,(ref :text [Skribe] :url *skribe-url*), +which was designed and implemented by Manuel Serrano and Érick Gallesio. +Although it departs from it on some aspects, it shares the overall +design and philosophy. Érick and Manuel described the main design +decisions behind Skribe in a paper published in the 2005 Journal of +Functional Programming (JFP) entitled ,(ref :url +"http://www-sop.inria.fr/mimosa/Manuel.Serrano/publi/jfp05/article.html" +:text (it [Skribe: A Functional Authoring Language])). Although parts +of the paper are slightly outdated, it gives a very good idea of +Skribilo's innards, and notably contains a description of the 3 stages +of documentation ``evaluation''.]))) + ;;; toc (if (engine-format? "latex") |