welcome: please sign in

Full Text Search: "linkto:"DomTool/LanguageReference""

Results 1 - 6 of 6 results out of about 5864 pages. (1.52 seconds)

DomTool/UserGuide . . . 62 matches
... This is the DomTool User Guide. The properties of DomTool are described, as well as its use and its configuration file format. <<TableOfContents>> = Overview = HCoop is almo...

20.4k - rev: 31 (current) last modified: 2021-02-24 02:49:10

DomTool/Implementation . . . 44 matches
...This page describes the implementation of the DomTool language interpreter and other tools. Most members would probably be better served visiting DomTool/UserGuide. <<TableOfCont...

11.6k - rev: 13 (current) last modified: 2010-03-18 14:05:35

DomTool/ArchitectureOverview . . . 38 matches
...This page describes the client/server distributed configuration architecture of DomTool. For (largely orthogonal) information on the programming language used for configuration, ...

7.8k - rev: 7 (current) last modified: 2013-01-24 05:18:19

DomTool . . . 28 matches
...istributed system configuration tool. <<TableOfContents>> = For everyone = * '''[[DomTool/UserGuide|User Guide]]''': An introduction to configuring shared daemons at HCoop. *...

1.9k - rev: 23 (current) last modified: 2019-04-27 23:35:57

DomTool/LearningTheDetails . . . 11 matches
...The DomTool language is a statically-typed functional language, like Haskell or ML. Its designers expect that anyone who is an expert Haskell and ML programmer will be able to lea...

1.2k - rev: 2 (current) last modified: 2024-03-05 22:56:23

ClintonEbadi . . . 23 matches
... am the Treasurer of the coop (someone has to do it), and the current lead sysadmin / DomTool maintainer / lo-fi AdamChlipala replacement. <<TableOfContents>> = Board Statement...

18.2k - rev: 97 (current) last modified: 2021-11-06 17:50:12