index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Create unofficial package
unofficial
Benjamin Barenblat
2020-05-31
*
Update man page
HEAD
master
Benjamin Barenblat
2020-05-31
*
Update packaging for SONAME bump
Benjamin Barenblat
2020-05-31
*
Refresh patches
Benjamin Barenblat
2020-05-31
*
Update build dependencies for 20200209
Benjamin Barenblat
2020-05-31
*
Merge branch 'dfsg_clean'
Benjamin Barenblat
2020-05-31
|
\
|
*
Merge branch 'upstream' into dfsg_clean
20200209+dfsg
dfsg_clean
Benjamin Barenblat
2020-05-30
|
|
\
*
|
|
Document files excluded in DFSG-freeing process
Benjamin Barenblat
2020-05-30
*
|
|
debian/watch: Use dversionmangle to strip +dfsg suffix from source
Benjamin Barenblat
2020-05-30
*
|
|
Move library packages to Section: libs
Benjamin Barenblat
2020-05-30
*
|
|
Add Build-Depends-Package stanzas to symbols files
Benjamin Barenblat
2020-05-30
*
|
|
debian/watch: Update for GitHub move
Benjamin Barenblat
2020-05-30
*
|
|
Use Priority: optional, not Priority: extra
Benjamin Barenblat
2020-05-30
*
|
|
Update to debhelper 13
Benjamin Barenblat
2020-05-30
*
|
|
Set `Rules-Requires-Root: no`
Benjamin Barenblat
2020-05-30
*
|
|
Update standards version
Benjamin Barenblat
2020-05-30
*
|
|
Don’t set `Multi-Arch: foreign` for urweb
Benjamin Barenblat
2020-05-30
*
|
|
Update build dependencies
Benjamin Barenblat
2020-05-30
*
|
|
Use -D_FORTIFY_SOURCE=1 instead of 2
Benjamin Barenblat
2020-05-30
|
|
*
Stop putting extraneous files in release tarballs
20200209
Adam Chlipala
2020-02-09
|
|
*
New release
Adam Chlipala
2020-02-09
|
|
*
List.foldli
Adam Chlipala
2020-02-07
|
|
*
Fix signature matching of an imported datatype vs. a fresh datatype
Adam Chlipala
2020-02-07
|
|
*
Merge pull request #196 from mdempsky/manual-edits
Adam Chlipala
2020-02-06
|
|
|
\
|
|
|
*
Remove superfluous lambdas before guarded types
Matthew Dempsky
2020-02-04
|
|
|
*
Fix typos in kinding judgments
Matthew Dempsky
2020-02-04
|
|
|
*
Fix record type shorthand
Matthew Dempsky
2020-02-04
|
|
|
/
|
|
*
Merge pull request #194 from mdempsky/manual-tweaks
Adam Chlipala
2020-01-27
|
|
|
\
|
|
|
*
Elaborate e^* and e^+ syntax
Matthew Dempsky
2020-01-22
|
|
|
*
Consistently introduce application syntax before abstraction
Matthew Dempsky
2020-01-22
|
|
|
*
Kind variables must be bracketed in expression-level binders
Matthew Dempsky
2020-01-22
|
|
*
|
Merge pull request #193 from mdempsky/monad-kind
Adam Chlipala
2020-01-21
|
|
|
\
\
|
|
|
|
/
|
|
|
/
|
|
|
|
*
monad has kind (Type->Type)->Type, not just Type->Type
Matthew Dempsky
2020-01-21
|
|
|
/
|
|
*
Merge pull request #192 from mdempsky/manual-typo
Adam Chlipala
2020-01-19
|
|
|
\
|
|
|
*
Fix documentation typo
Matthew Dempsky
2020-01-19
|
|
|
/
|
|
*
Merge pull request #136 from dredozubov/anchor-links
Adam Chlipala
2020-01-15
|
|
|
\
|
|
*
\
Merge pull request #186 from FrigoEU/lsp
Adam Chlipala
2020-01-15
|
|
|
\
\
|
|
|
*
|
Added some documentation for the LSP server to the manual
Simon Van Casteren
2020-01-15
|
|
|
*
|
LSP: Improved handling of datatypes from signatures
Simon Van Casteren
2020-01-12
|
|
*
|
|
Merge pull request #185 from docelic/better-error-reports
Adam Chlipala
2020-01-12
|
|
|
\
\
\
|
|
|
|
*
|
Fixed review changes: Better foundInEnv naming, correct interpretation of
Simon Van Casteren
2020-01-11
|
|
|
|
*
|
Change findSmallestSpan to findClosestSpan: faster at 99% of times better
Simon Van Casteren
2020-01-10
|
|
*
|
|
|
At compile time, allow '#' as a URL
Adam Chlipala
2020-01-10
|
|
|
|
*
|
Refactor to do all matching on strings, more precise and faster
Simon Van Casteren
2020-01-10
|
|
|
|
*
|
Fixed smaller review remarks
Simon Van Casteren
2020-01-08
|
|
|
|
*
|
Allow simple .ur files to double as .urs files for LSP
Simon Van Casteren
2020-01-08
|
|
|
|
*
|
Added some type sigs required by SMLNJ
Simon Van Casteren
2020-01-08
|
|
|
|
*
|
Add bg_thread.dummy.sml to mock MLton threads in sml/nj
Simon Van Casteren
2020-01-08
|
|
|
|
*
|
Return only unique diags + better formatting
Simon Van Casteren
2020-01-08
|
|
|
|
*
|
Added some more stuff to lsp getInfo and completions
Simon Van Casteren
2020-01-04
[next]
Benjamin Barenblat
Adam Chlipala
Matthew Dempsky
Simon Van Casteren