log lib/ur/basis.urs

age author description
2014-05-11 David Snider Added HTML5 Semantic Tags
2014-05-02 Adam Chlipala HTML5 data-* attributes
2014-04-30 Adam Chlipala <thead>, <tbody>, <tfoot>
2014-02-24 Sergey Mironov Add <pre> tag support
2014-01-18 Patrick Hurst Merge in upstream changes.
2013-12-05 Patrick Hurst Day of week functions.
2013-12-05 Patrick Hurst Add basic year/month/day/hour/minute/second <-> time functions.
2013-10-07 Sergey Mironov Add show instance for 'id' type
2013-12-09 Adam Chlipala Rename <activeHead> to <script> and make it work properly
2013-12-06 Sergey Mironov activeHead: don't modify the head. just execute the code provided
2013-12-06 Sergey Mironov Add activeHead tag.
2013-10-07 Sergey Mironov Add <dl> <dt> <dd> tags
2013-10-07 Sergey Mironov Add xhead type
2013-10-07 Sergey Mironov Add <em> and <strong> tags
2013-08-09 Adam Chlipala Add 'rel' attribute to <a>
2013-04-16 Adam Chlipala Basis.tryRpc
2012-11-30 Adam Chlipala add Placeholder attribute to <password>; change <textbox> code generation to set 'type' to 'text'
2012-11-28 Adam Chlipala Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a test case for it
2012-11-28 Austin Seipp Standard library additions: Option.unsafeGet, Basis.exp
2012-08-22 Adam Chlipala show_sql_query
2012-08-02 Adam Chlipala Basis.getenv
2012-07-23 Adam Chlipala Add more global mouse event hooks
2012-07-21 Adam Chlipala Top.postFields
2012-07-21 Adam Chlipala <active>
2012-07-21 Adam Chlipala Basis.giveFocus
2012-07-21 Adam Chlipala New event records for key and mouse handlers
2012-06-03 Adam Chlipala Lighter-weight encoding of window function use
2012-06-02 Adam Chlipala Partitioning and ordering for window functions
2012-06-02 Adam Chlipala Compiled a window function use
2012-06-02 Adam Chlipala Track whether SQL expressions may use window functions, in preparation for actual window function support
2012-05-06 Adam Chlipala 'dynStyle' pseudo-attribute
2012-05-06 Adam Chlipala 'style' attributes
2012-05-06 Adam Chlipala Simplify type of Basis.tag, regarding 'class' attribute; new compatibility parsing of 'class' values given as string literals
2012-04-15 Adam Chlipala Remove string-valued style attribute, which may allow injection attacks
2012-04-10 Vladimir Shabanov Added several missing tag attributes
2012-03-10 Adam Chlipala Change <radio> to yield [option string]
2012-02-04 Adam Chlipala Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
2012-02-02 Adam Chlipala 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
2011-12-27 Adam Chlipala 'dynClass' pseudo-attribute
2011-12-21 Adam Chlipala Refactor HTML contexts to prevent some illegal nestings (that can crash the JavaScript runtime system)
2011-12-21 Adam Chlipala Redo HTML context classification, to keep regular <body> tags out of <table> and <tr>
2011-12-17 Adam Chlipala SQL lower() and upper() functions
2011-11-23 Karn Kallio Add LIKE operator to SQL sublanguage.
2011-11-19 Adam Chlipala COALESCE
2011-10-14 Karn Kallio IF THEN ELSE conditional for SQL.
2011-10-08 Adam Chlipala Primitive int/float functions: ceil, float, round, trunc
2011-10-06 Adam Chlipala Basis.null
2011-09-11 Vladimir Shabanov Added 'target' attribute for 'a' tag.
2011-09-11 Adam Chlipala New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov)
2011-09-03 Adam Chlipala Switch type of 'for' attribute
2011-09-03 Adam Chlipala An abstract type of IDs
2011-09-03 Adam Chlipala New client-side, document-level event handlers
2011-08-19 Adam Chlipala Basis.mkMonad
2011-07-24 Adam Chlipala <image>
2011-07-22 Adam Chlipala Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds
2011-07-03 Adam Chlipala Basis.currentUrlHasQueryString
2011-06-23 Adam Chlipala 'show' instance for 'css_class'
2011-06-22 Karn Kallio Add rowspan attribute to td,th elements.
2011-05-29 Adam Chlipala getHeader and setHeader
2011-04-18 Karn Kallio Add two html elements: sup and sub
2011-02-25 Adam Chlipala sql_arith_option; 'ALL' for relational operators
2011-02-04 Adam Chlipala Subqueries may always return NULL
2011-01-25 Adam Chlipala Allow 'alt' attribute of <img> (suggested by Karn Kallio)
2011-01-23 Adam Chlipala Allow CSS class specification for <form>
2011-01-15 Adam Chlipala Allow subqueries to reference aggregate-only columns of free tables; treat non-COUNT aggregate functions as possibly returning NULL
2011-01-13 Adam Chlipala More string processing
2011-01-11 Adam Chlipala Some more string parsing functions; naughtyDebug
2011-01-11 Adam Chlipala String processing optimizations
2011-01-06 Adam Chlipala Basis.currentUrlHasPost
2010-12-28 Adam Chlipala Basis.readUtc
2010-12-26 Adam Chlipala queryString and effectfulUrl
2010-12-26 Adam Chlipala Expose buffer type for other C libraries; replace minusSeconds with addSeconds
2010-12-23 Adam Chlipala [De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
2010-12-23 Adam Chlipala Recursive record unification errors, for more detail
2010-12-21 Adam Chlipala Basis.cdataChar
2010-12-21 Adam Chlipala Allow SQL aggregation over nullable types
2010-12-18 Adam Chlipala Periodic tasks
2010-12-18 Adam Chlipala Change tasks to support parametric code; add clientLeaves
2010-12-18 Adam Chlipala postBody type
2010-09-05 Adam Chlipala tryDml
2010-09-05 Adam Chlipala Support multiple CSS classes for a single tag
2010-09-04 Adam Chlipala Add 'title' attribute
2010-08-22 Adam Chlipala Confirm boxes; proper event handler setting for ctags
2010-08-19 Adam Chlipala Polymorphic variants
2010-07-27 Adam Chlipala Roll back WHERE checking
2010-07-27 Adam Chlipala equalAny policies
2010-07-27 Adam Chlipala Initial version of equalKnown working for secret
2010-06-13 Adam Chlipala More generous wildification, covering map-records
2010-06-03 Adam Chlipala Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
2010-04-29 Adam Chlipala Add rand to Basis and handle it in Iflow
2010-04-15 Adam Chlipala 'also' policies and policy reduction; calendar in good shape
2010-04-11 Adam Chlipala sendOwnIds policies
2010-04-11 Adam Chlipala Update policies
2010-04-11 Adam Chlipala Delete policies
2010-04-11 Adam Chlipala Insert policies
2010-04-08 Adam Chlipala Change query_policy to sendClient; all arguments passed to SQL predicates are variables
2010-04-06 Adam Chlipala Introduced the known() predicate
2010-04-04 Adam Chlipala Pushing policies through
2010-03-28 Adam Chlipala Make SELECT FROM clauses optional
2010-03-25 Adam Chlipala Subquery FROM items
2010-03-25 Adam Chlipala Subquery expressions
2010-03-16 Adam Chlipala COUNT(col)
2010-02-13 Adam Chlipala Remove Basis.getRequestHeader, because it can subvert cookie security
2010-01-30 Adam Chlipala Update Makefile.in's with new Autotools; add extra 'return NULL' to placate some -Wall
2010-01-29 Adam Chlipala Small tweaks
2010-01-26 Adam Chlipala <img> has dimensions and needs special HTML handling
2010-01-12 Adam Chlipala Allow escaped backslashes in literals; conversion betwixt int and char
2010-01-07 Adam Chlipala Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
2010-01-05 Adam Chlipala Basis.textBlob; support HTTP requests with no headers
2009-12-31 Adam Chlipala Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
2009-12-29 Adam Chlipala ctextarea; s/header/include in the manual
2009-12-24 Adam Chlipala Updating the manual
2009-12-22 Adam Chlipala Basis.sql_nullable and Top.queryL
2009-12-15 Adam Chlipala Convert to task syntax
2009-12-13 Adam Chlipala Initializers and setval
2009-12-13 Adam Chlipala Weakening-type coercions for SQL values
2009-12-13 Adam Chlipala Better record summary error messages; more tweaking SQL usability
2009-12-13 Adam Chlipala Tweaking SQL parsing and typing
2009-12-12 Adam Chlipala Checked-ness of radio options; Option.get
2009-12-10 Adam Chlipala Basis.currentUrl, plus redirect debugging
2009-12-10 Adam Chlipala Basis.url and redirects
2009-12-08 Adam Chlipala Context globals; ctype functions
2009-11-26 Adam Chlipala More fun with cookies
2009-11-25 Adam Chlipala Add 'id' attributes and <label>
2009-11-01 Adam Chlipala Bidding interface
2009-10-22 Adam Chlipala Initial support for char in SQL
2009-10-22 Adam Chlipala Checking deadline; sign-in
2009-10-20 Adam Chlipala Start of user management
2009-10-06 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization
2009-09-19 Adam Chlipala Grid sorting working
2009-09-15 Adam Chlipala Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
2009-08-22 Adam Chlipala Convert to requiring explicit 'rpc' marker
2009-07-18 Adam Chlipala Key events get key code input
2009-07-18 Adam Chlipala Testing new events
2009-07-18 Adam Chlipala Goodbye <font>; hello <h5> and <h6>
2009-07-18 Adam Chlipala Try to add all applicable JavaScript events
2009-06-13 Adam Chlipala <dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls
2009-06-09 Adam Chlipala Some standard library reorgs and additions; handle mutual datatypes better in Specialize
2009-06-07 Adam Chlipala Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
2009-06-07 Adam Chlipala Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
2009-05-31 Adam Chlipala strcspn and friends
2009-05-30 Adam Chlipala Substring functions; fix a nasty MonoReduce pattern match substitution bug
2009-05-30 Adam Chlipala String.length
2009-05-26 Adam Chlipala Chars and more string operations
2009-05-21 Adam Chlipala ccheckbox
2009-05-14 Adam Chlipala cselect.onchange
2009-05-14 Adam Chlipala cselect
2009-05-03 Adam Chlipala outer demo
2009-05-03 Adam Chlipala css demo
2009-05-02 Adam Chlipala Runtime URL and MIME type filtering
2009-04-30 Adam Chlipala <input type='hidden'>
2009-04-30 Adam Chlipala Megaform test
2009-04-30 Adam Chlipala Subforms type-checks; lists urlified and unurlified
2009-04-30 Adam Chlipala Basis.list
2009-04-28 Adam Chlipala Subforms
2009-04-28 Adam Chlipala Preparing to allow views in SELECT FROM clauses
2009-04-28 Adam Chlipala RIGHT and FULL JOIN
2009-04-28 Adam Chlipala LEFT JOIN
2009-04-28 Adam Chlipala INNER JOIN
2009-04-28 Adam Chlipala Switch to using sql_from_items
2009-04-26 Adam Chlipala sql_ufunc and octet_length
2009-04-26 Adam Chlipala blobSize
2009-04-26 Adam Chlipala Returning a blob as page result
2009-04-25 Adam Chlipala Add MIME type to file
2009-04-25 Adam Chlipala Only allow single-file upload per control
2009-04-25 Adam Chlipala Initial support for blobs and upload
2009-04-16 Adam Chlipala Some client-side error handling
2009-04-16 Adam Chlipala Avoid thread death via message receive
2009-04-16 Adam Chlipala Show XML
2009-04-16 Adam Chlipala onError
2009-04-16 Adam Chlipala <link>
2009-04-12 Adam Chlipala Classes as optional arguments to Basis.tag
2009-04-12 Adam Chlipala Stop tracking CSS classes in XML types
2009-04-12 Adam Chlipala hello compiles with CSS
2009-04-12 Adam Chlipala style declarations
2009-04-09 Adam Chlipala URLs
2009-04-09 Adam Chlipala CHECK constraints
2009-04-09 Adam Chlipala More flexible foreign keying
2009-04-09 Adam Chlipala Made type class system very general; demo compiles
2009-04-07 Adam Chlipala FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
2009-04-07 Adam Chlipala PRIMARY KEY
2009-04-07 Adam Chlipala Track uniqueness sets in table types
2009-04-07 Adam Chlipala UNIQUE constraints
2009-04-05 Adam Chlipala Update the manual
2009-04-04 Adam Chlipala sleep and better Scriptcheck
2009-04-04 Adam Chlipala spawn
2009-04-04 Adam Chlipala Checking spans in dyns
2009-03-29 Adam Chlipala Expunging non-nullable rows
2009-03-29 Adam Chlipala Redo channels, making them single-client
2009-03-26 Adam Chlipala Preliminary work supporting channels in databases
2009-03-26 Adam Chlipala Make sql_injectable class nicer with inclusion
2009-03-22 Adam Chlipala Proper recv
2009-03-22 Adam Chlipala First message send delivered, but not interpreted
2009-03-12 Adam Chlipala Update old Ur/Web library section, before adding new stuff
2009-02-24 Adam Chlipala Top.Fold.concat elaborates
2009-02-21 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
2009-01-13 Adam Chlipala Combine lib* directories base lib/basis.urs@354bec2e46a8