chiark / gitweb /
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Ian Jackson [Thu, 1 Mar 2012 01:02:17 +0000 (01:02 +0000)]
convert unique base to equation display
Ian Jackson [Thu, 1 Mar 2012 00:59:36 +0000 (00:59 +0000)]
patchof
Ian Jackson [Thu, 1 Mar 2012 00:54:03 +0000 (00:54 +0000)]
remove some obsolete deps
Ian Jackson [Thu, 1 Mar 2012 00:53:38 +0000 (00:53 +0000)]
better nothaspatch
Ian Jackson [Thu, 1 Mar 2012 00:49:39 +0000 (00:49 +0000)]
pancs, pends
Ian Jackson [Thu, 1 Mar 2012 00:49:30 +0000 (00:49 +0000)]
amsmath
Ian Jackson [Thu, 1 Mar 2012 00:28:46 +0000 (00:28 +0000)]
try leqno
Ian Jackson [Thu, 1 Mar 2012 00:17:21 +0000 (00:17 +0000)]
full stop
Ian Jackson [Thu, 1 Mar 2012 00:14:45 +0000 (00:14 +0000)]
drop mnsymbol, use mathabx
Ian Jackson [Thu, 1 Mar 2012 00:11:46 +0000 (00:11 +0000)]
define patch
Ian Jackson [Thu, 1 Mar 2012 00:04:45 +0000 (00:04 +0000)]
nice formatting for notation
Ian Jackson [Wed, 29 Feb 2012 23:45:11 +0000 (23:45 +0000)]
displays
Ian Jackson [Wed, 29 Feb 2012 23:39:30 +0000 (23:39 +0000)]
not nath, urgh
Ian Jackson [Wed, 29 Feb 2012 23:36:33 +0000 (23:36 +0000)]
more
Ian Jackson [Wed, 29 Feb 2012 23:05:09 +0000 (23:05 +0000)]
use strayman
Ian Jackson [Wed, 29 Feb 2012 22:43:25 +0000 (22:43 +0000)]
wip
Ian Jackson [Wed, 29 Feb 2012 21:29:07 +0000 (21:29 +0000)]
weird chars before begin document
Ian Jackson [Wed, 29 Feb 2012 21:28:43 +0000 (21:28 +0000)]
parents
Ian Jackson [Wed, 29 Feb 2012 21:00:45 +0000 (21:00 +0000)]
pay pan etc.
Ian Jackson [Wed, 29 Feb 2012 19:00:19 +0000 (19:00 +0000)]
{not,}{in,has}patch
Ian Jackson [Wed, 29 Feb 2012 18:37:57 +0000 (18:37 +0000)]
declareslashed seems to work
Ian Jackson [Wed, 29 Feb 2012 18:31:19 +0000 (18:31 +0000)]
tests