server
|
2008-10-06
|
Jan Wielemaker
|
[8d103f]
Enhanced the demo pldoc server starter (man_ser...
|
.cvsignore
|
2006-08-09
|
Jan Wielemaker
|
[5f09f0]
* Updated
|
.gitignore
|
2013-01-13
|
Vítor Santos Costa
|
[9beecb]
Merge branch 'master' of git://www.swi-prolog.o...
|
.plrc
|
2008-10-07
|
Jan Wielemaker
|
[11e3aa]
CLEANUP: Make PlDoc run entirely on top of the ...
|
2pldoc
|
2006-08-09
|
Jan Wielemaker
|
[0c65bd]
* Simple script for initial conversion
|
ChangeLog
|
2009-10-18
|
Jan Wielemaker
|
[3b3abe]
Merge branch '5.7' into merge
|
Makefile.in
|
2014-02-13
|
Vítor Santos Costa
|
[b53af0]
big makefile cleanup
|
Makefile.mak
|
2010-10-28
|
Jan Wielemaker
|
[156800]
Installation of PlDoc in Windows version
|
README
|
2007-05-24
|
Jan Wielemaker
|
[e28765]
* Typo
|
TODO
|
2009-10-18
|
Jan Wielemaker
|
[3b3abe]
Merge branch '5.7' into merge
|
common.mk
|
2013-01-13
|
Vítor Santos Costa
|
[9beecb]
Merge branch 'master' of git://www.swi-prolog.o...
|
configure.in
|
2010-04-18
|
Jan Wielemaker
|
[1a41ae]
VERSION: Merged to 5.9.11
|
doc_access.pl
|
2012-09-06
|
Jan Wielemaker
|
[e727c7]
Merge branch 'tmp' into new
|
doc_colour.pl
|
2013-02-17
|
Vítor Santos Costa
|
[1e324d]
Merge branch 'master' of git://www.swi-prolog.o...
|
doc_csssrc.pl
|
2011-09-05
|
Vitor Santos Costa
|
[504bef]
Merge http://www.swi-prolog.org/home/pl/git/pac...
|
doc_debug.pl
|
2011-09-05
|
Vitor Santos Costa
|
[504bef]
Merge http://www.swi-prolog.org/home/pl/git/pac...
|
doc_files.pl
|
2013-01-13
|
Vítor Santos Costa
|
[9beecb]
Merge branch 'master' of git://www.swi-prolog.o...
|
doc_html.pl
|
2013-02-17
|
Vítor Santos Costa
|
[1e324d]
Merge branch 'master' of git://www.swi-prolog.o...
|
doc_htmlsrc.pl
|
2013-02-17
|
Vítor Santos Costa
|
[1e324d]
Merge branch 'master' of git://www.swi-prolog.o...
|
doc_http.pl
|
2013-02-17
|
Vítor Santos Costa
|
[1e324d]
Merge branch 'master' of git://www.swi-prolog.o...
|
doc_index.pl
|
2013-01-13
|
Vítor Santos Costa
|
[9beecb]
Merge branch 'master' of git://www.swi-prolog.o...
|
doc_latex.pl
|
2013-01-13
|
Vítor Santos Costa
|
[9beecb]
Merge branch 'master' of git://www.swi-prolog.o...
|
doc_library.pl
|
2013-02-17
|
Vítor Santos Costa
|
[1e324d]
Merge branch 'master' of git://www.swi-prolog.o...
|
doc_man.pl
|
2013-01-13
|
Vítor Santos Costa
|
[9beecb]
Merge branch 'master' of git://www.swi-prolog.o...
|
doc_modes.pl
|
2013-02-17
|
Vítor Santos Costa
|
[1e324d]
Merge branch 'master' of git://www.swi-prolog.o...
|
doc_pack.pl
|
2013-01-13
|
Vítor Santos Costa
|
[9beecb]
Merge branch 'master' of git://www.swi-prolog.o...
|
doc_process.pl
|
2013-02-17
|
Vítor Santos Costa
|
[1e324d]
Merge branch 'master' of git://www.swi-prolog.o...
|
doc_register.pl
|
2013-02-17
|
Vítor Santos Costa
|
[1e324d]
Merge branch 'master' of git://www.swi-prolog.o...
|
doc_search.pl
|
2012-09-06
|
Jan Wielemaker
|
[e727c7]
Merge branch 'tmp' into new
|
doc_util.pl
|
2011-09-05
|
Vitor Santos Costa
|
[504bef]
Merge http://www.swi-prolog.org/home/pl/git/pac...
|
doc_wiki.pl
|
2013-02-17
|
Vítor Santos Costa
|
[1e324d]
Merge branch 'master' of git://www.swi-prolog.o...
|
edit.gif
|
2006-08-21
|
Jan Wielemaker
|
[6381ed]
* Modified to be compliant to W3C
|
favicon.ico
|
2006-08-09
|
Jan Wielemaker
|
[4e7f2c]
* Deal with edit buttons
|
h1-bg.png
|
2010-10-16
|
Jan Wielemaker
|
[0c8518]
Styling of PlDoc headers
|
h2-bg.png
|
2011-02-25
|
Jan Wielemaker
|
[0d09fc]
Various style enhancement for the main website.
|
hooks.pl
|
2011-09-05
|
Vitor Santos Costa
|
[504bef]
Merge http://www.swi-prolog.org/home/pl/git/pac...
|
install-sh
|
2006-07-30
|
Jan Wielemaker
|
[c92a5f]
* Start setup of project
|
latex.txt
|
2007-10-28
|
Jan Wielemaker
|
[54adb2]
Various issues in the LaTeX backend of the docu...
|
multi-bg.png
|
2010-10-16
|
Jan Wielemaker
|
[0c8518]
Styling of PlDoc headers
|
pldoc.css
|
2013-01-13
|
Vítor Santos Costa
|
[9beecb]
Merge branch 'master' of git://www.swi-prolog.o...
|
pldoc.doc
|
2013-01-13
|
Vítor Santos Costa
|
[9beecb]
Merge branch 'master' of git://www.swi-prolog.o...
|
pldoc.js
|
2006-08-09
|
Jan Wielemaker
|
[5544fe]
* PlDoc JavaScript support
|
pldoc.pl
|
2013-02-17
|
Vítor Santos Costa
|
[1e324d]
Merge branch 'master' of git://www.swi-prolog.o...
|
pldoc.sty
|
2012-09-06
|
Jan Wielemaker
|
[e8d582]
Copy pldoc.sty from SWI-Prolog main repo.
|
pllisting.css
|
2006-09-09
|
Jan Wielemaker
|
[1ee8a5]
* Added line-number support for HTML source
|
pltotex.pl
|
2013-01-13
|
Vítor Santos Costa
|
[9beecb]
Merge branch 'master' of git://www.swi-prolog.o...
|
priv-bg.png
|
2010-10-16
|
Jan Wielemaker
|
[0c8518]
Styling of PlDoc headers
|
private.png
|
2010-10-16
|
Jan Wielemaker
|
[6329d3]
Modernised some icons in PlDoc and added titles.
|
pub-bg.png
|
2010-10-16
|
Jan Wielemaker
|
[0c8518]
Styling of PlDoc headers
|
public.png
|
2010-10-16
|
Jan Wielemaker
|
[6329d3]
Modernised some icons in PlDoc and added titles.
|
reload.gif
|
2006-08-10
|
Jan Wielemaker
|
[bfa0e3]
* Ongoing work
|
source.gif
|
2006-09-08
|
Jan Wielemaker
|
[d54351]
* Allow viewing the source
|
source.png
|
2010-10-16
|
Jan Wielemaker
|
[6329d3]
Modernised some icons in PlDoc and added titles.
|
test_wiki.pl
|
2009-10-18
|
Jan Wielemaker
|
[3b3abe]
Merge branch '5.7' into merge
|
txttotex.pl
|
2012-09-06
|
Jan Wielemaker
|
[c9a50f]
Added .txt --> .tex conversion script
|
up.gif
|
2006-08-24
|
Jan Wielemaker
|
[889a91]
* Missing icon
|
wiki_test_data.pl
|
2009-10-18
|
Jan Wielemaker
|
[3b3abe]
Merge branch '5.7' into merge
|