1027 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
John Whitington	4f3b80c5df	open_in -> open_in_bin for -typeset, others	2022-11-02 21:13:27 +00:00
John Whitington	a83b004cee	more	2022-10-20 17:16:59 +01:00
John Whitington	dda96864a6	more	2022-10-20 15:06:49 +01:00
John Whitington	99bfd4b598	mor	2022-10-20 14:28:14 +01:00
John Whitington	cc04a3e2c3	more	2022-10-19 16:45:52 +01:00
John Whitington	4e2bd4ce5d	more	2022-10-19 16:32:56 +01:00
John Whitington	b4c07ea798	more	2022-10-19 15:34:19 +01:00
John Whitington	e3421cdcc2	more	2022-10-19 14:47:20 +01:00
John Whitington	be610916d4	more	2022-10-19 14:36:26 +01:00
John Whitington	733a94d882	more	2022-10-19 13:48:13 +01:00
John Whitington	c05fbc0164	First reworking of fontpacks	2022-10-18 19:13:02 +01:00
John Whitington	07574323f7	Revert to fonts not fontpacks in cpdftype	2022-10-18 13:48:35 +01:00
John Whitington	c69628f76f	more	2022-10-13 20:34:11 +01:00
John Whitington	44f62e49ca	more	2022-10-13 19:33:52 +01:00
John Whitington	e29add66b1	more	2022-10-13 17:14:20 +01:00
John Whitington	d6a564daae	more	2022-10-13 17:00:33 +01:00
John Whitington	794bedb91f	more	2022-10-11 19:48:30 +01:00
John Whitington	e1d01c3914	more	2022-10-10 16:40:57 +01:00
John Whitington	337139a75f	more	2022-10-10 16:08:07 +01:00
John Whitington	42e4c6689d	more	2022-10-10 14:51:58 +01:00
John Whitington	022ada3283	more	2022-10-07 19:00:42 +01:00
John Whitington	b1593db692	more	2022-10-07 15:59:44 +01:00
John Whitington	67b97e714b	more	2022-10-07 15:41:02 +01:00
John Whitington	a0cf819b41	emore	2022-10-07 14:37:05 +01:00
John Whitington	06407399bb	omore	2022-10-06 18:54:35 +01:00
John Whitington	af2d74a86b	more	2022-10-06 16:53:13 +01:00
John Whitington	09d0d0d05c	more	2022-10-06 15:28:36 +01:00
John Whitington	d56d6c9ace	more	2022-10-06 12:51:28 +01:00
John Whitington	8c3c3ffe28	more	2022-10-05 20:34:45 +01:00
John Whitington	ed70b1458f	more	2022-10-05 17:01:58 +01:00
John Whitington	30b762b251	more	2022-10-05 15:14:53 +01:00
John Whitington	09f6c28032	more	2022-10-05 15:10:07 +01:00
John Whitington	879ac16bbb	more	2022-10-04 22:19:56 +01:00
John Whitington	3c10f50d68	more	2022-10-04 22:15:14 +01:00
John Whitington	1f6afaccd8	more	2022-10-04 20:35:05 +01:00
John Whitington	ca2f5f1621	more	2022-10-04 18:55:06 +01:00
John Whitington	a671c032cc	more	2022-10-04 16:51:54 +01:00
John Whitington	22f6f34686	more	2022-10-04 16:09:20 +01:00
John Whitington	dcd3242ad2	more	2022-10-04 15:34:22 +01:00
John Whitington	8f7d53c208	more	2022-10-04 14:59:42 +01:00
John Whitington	aa181a9d7c	more	2022-09-29 14:52:50 +01:00
John Whitington	4ac9e7c61e	more	2022-09-29 14:48:34 +01:00
John Whitington	f0d4d40fa7	more	2022-09-29 14:39:43 +01:00
John Whitington	49885d2eb7	more	2022-09-29 14:23:23 +01:00
John Whitington	2483743387	more	2022-09-28 19:16:48 +01:00
John Whitington	2fb20a92d0	more	2022-09-28 18:03:32 +01:00
John Whitington	c3eaf2597a	more	2022-09-28 17:17:54 +01:00
John Whitington	4cbdbbb34f	more	2022-09-28 13:04:20 +01:00
John Whitington	cd4c16e6fb	more	2022-09-28 12:33:20 +01:00
John Whitington	126530a2de	more	2022-09-27 20:10:19 +01:00