4 Commits

Author	SHA1	Message	Date
Eelco Dolstra	a8f748e547	* Log evaluation errors etc. in the DB.	2008-11-25 13:27:57 +00:00
Eelco Dolstra	410b80063c	* More global substitution.	2008-11-25 11:01:42 +00:00
Eelco Dolstra	22feae550e	* Idem.	2008-11-25 10:55:07 +00:00
Eelco Dolstra	fadd7a0448	* HydraFrontend -> Hydra.	2008-11-25 10:53:42 +00:00