debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Added comments and extracted typeOf/getInfo into seperate module	FrigoEU	2019-08-03
\|
*	Added file check to typeOf and always add Top and Basis to env in typeOf	FrigoEU	2019-08-01
\|
*	first iteration of "typeOf" command	FrigoEU	2019-07-31
\|
*	Removed MISSED_DEP print	FrigoEU	2019-07-29
\|
*	Don't use interfaces anymore for ModDb validity, but check for undetermined ↵	FrigoEU	2019-07-29
\| \| \| \|	unif vars
*	First iteration of more detailed elaboration caching	FrigoEU	2019-07-07
\|
*	Get -root working properly again	Adam Chlipala	2013-09-26
\|
*	In incremental elaboration, handle invalidated FFI signatures	Adam Chlipala	2012-05-09
\|
*	Don't modify the module cache after elaboration failures	Adam Chlipala	2012-05-02
\|
*	'urweb daemon start' and 'urweb daemon stop'	Adam Chlipala	2012-04-29
\|
*	Initial support for reusing elaboration results	Adam Chlipala	2012-04-29