debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
...
\| * \|	Start using symbol versioning	Benjamin Barenblat	2018-06-17
\|/ /
* \|	Slight change to venerable Nested demo, to get proper URL resolution	Adam Chlipala	2018-06-16
* \|	Slight change to venerable Nested demo, to get proper URL resolution	Adam Chlipala	2018-06-16
* \|	Return to working version mode	Adam Chlipala	2018-06-16
* \|	New release20180616	Adam Chlipala	2018-06-16
\|/
*	Properly populate set of type classes when reusing a module from the type-inf...	Adam Chlipala	2018-06-06
*	Merge branch 'master' of ssh://github.com/urweb/urweb	Adam Chlipala	2018-06-04
\|\
* \|	Fix to recent addition of defensive unurlification	Adam Chlipala	2018-06-04
\| *	Merge pull request #126 from majorseitan/master	Adam Chlipala	2018-06-04
\| \|\
\| * \|	Merge pull request #127 from ashalkhakov/cradio	Adam Chlipala	2018-06-04
\|/\| \|
* \| \|	Fail when requesting a file cache with a database engine that won't do SHA512	Adam Chlipala	2018-06-03
* \| \|	'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process	Adam Chlipala	2018-06-03
\| \| *	Merge branch 'master' into master	major seitan	2018-06-02
\| \| \|\ \| \|_\|/ \|/\| \|
\| * \|	Multi-group test	Artyom Shalkhakov	2018-05-30
* \| \|	Remove insecure crypto function (closes #114)	Adam Chlipala	2018-05-29
\| * \|	Formatting	Artyom Shalkhakov	2018-05-28
\| * \|	Adding: cradio (support for client-side radio box).	Artyom Shalkhakov	2018-05-28
\|/ /
\| *	resolve merge conflict on test	majorseitan@blockfreie.org	2018-05-26
\| *	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-05-26
* \|	A test for List.groupBy	Adam Chlipala	2018-05-21
* \|	Proper error message when the body of a 'val' declaration fails to check agai...	Adam Chlipala	2018-05-20
* \|	Merge pull request #123 from ashalkhakov/tests	Adam Chlipala	2018-05-19
\|\ \
* \| \|	More defensive unurlification of enumerations (closes #117)	Adam Chlipala	2018-05-19
\| * \|	More tests.	Artyom Shalkhakov	2018-05-15
\| * \|	Adding jsbspace for #121.	Artyom Shalkhakov	2018-05-08
\| * \|	Adding Selenium-based checking to tests.	Artyom Shalkhakov	2018-05-08
\|/ /
\| *	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-04-15
* \|	Merge pull request #122 from majorseitan/master	Adam Chlipala	2018-04-15
\|\\|
\| *	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-04-14
\|/
*	List.findM	Adam Chlipala	2018-04-14
*	List.existsM	Adam Chlipala	2018-04-14
*	Demo links escape frames	Adam Chlipala	2018-03-30
*	Handle empty SELECT clauses	Adam Chlipala	2018-03-13
*	Merge pull request #119 from steinuil/sqlite-fix	Adam Chlipala	2018-03-11
\|\
\| *	automatically enable foreign keys and WAL for SQLite	steinuil	2018-02-26
\|/
*	Proper handling of absolute paths for files to serve	Adam Chlipala	2018-01-08
*	README: explain need to run autogen.sh (closes #93)	Adam Chlipala	2018-01-06
*	Merge pull request #109 from vshabanov/master	Adam Chlipala	2018-01-06
\|\
\| *	dynClass() now calculates and sets class and style attributes before adding n...	Vladimir Shabanov	2017-12-13
\| *	Added oninput event to inputs which support it.	Vladimir Shabanov	2017-12-05
\|/
*	README: mention that GNU Make is required	Adam Chlipala	2017-11-18
*	Manual fix: [self] only callable on the server	Adam Chlipala	2017-11-11
*	Small tweaks to new help text	Adam Chlipala	2017-10-01
*	Merge pull request #90 from peterbb/master	Adam Chlipala	2017-10-01
\|\
* \|	New .urp directives: mimeTypes and long form of file	Adam Chlipala	2017-10-01
* \|	README extension: installation and simple invocation	Adam Chlipala	2017-10-01
\| *	new flag -help, and refactoring of flag parsing.	Peter Bock	2017-09-29
\|/
*	Merge branch 'master' of ssh://github.com/urweb/urweb	Adam Chlipala	2017-08-11
\|\
* \	Merge branch 'master' of ssh://hnf.impredicative.com:/home/adamc/git-root/urweb	Adam Chlipala	2017-08-11
\|\ \
* \| \|	Demo instructions: -noEmacs	Adam Chlipala	2017-08-11