welcome: please sign in

Info for "DomTool/AdminProcedures"

[Show "Revision History"] [Show "General Page Infos"] [Show "Page hits and edits"]

Revision History

Showing page edit history entries from 1 to 17 out of 17 entries total. (5 | 10 | 25 | 50 | 100 | 200 items per page)

# Date Size Editor Comment Action
17 2009-02-17 16:44:21 7877 to previous AdamChlipala reusers view
16 2009-02-01 21:19:17 7472 to previous f053226130   view
15 2008-07-15 15:01:59 7432 to previous AdamChlipala -fake view
14 2008-07-07 04:28:17 7043 to previous localhost converted to 1.6 markup view
13 2007-11-17 15:56:57 7045 to previous AdamChlipala domtool-admin describe view
12 2007-11-07 15:20:32 6916 to previous MichaelOlson Add reminder, change domtool config dir to .domtool view
11 2007-10-30 16:30:40 6819 to previous MichaelOlson Fix typo view
10 2007-10-30 16:07:24 6822 to previous DavorOcelic   view
9 2007-10-16 12:58:42 6677 to previous MichaelOlson Mention Domtool/Building, reorg view
8 2007-07-02 23:28:33 6363 to previous MichaelOlson Add section on how to give a user a domain view
7 2007-07-01 21:54:45 6237 to previous AdamChlipala ~/domtool -> ~/.domtool view
6 2007-06-21 17:44:55 6236 to previous AdamChlipala Validation view
5 2007-06-21 16:49:13 5708 to previous AdamChlipala Debugging other users' configuration files view
4 2007-06-21 16:28:02 4903 to previous AdamChlipala Managing admin-run domains view
3 2007-05-09 19:08:25 4400 to previous MichaelOlson /usr/$USER -> /user/$USERPATH view
2 2006-12-16 21:12:04 4169 to previous AdamChlipala   view
1 2006-12-16 20:53:25 2051 AdamChlipala   view