Scott Kostyshak
9aaa6c73d5
Intro.lyx: remove a "short title" ...
This short title removed a spaced, and when taking a look we decided
that the advantages of removing it (simplicity and consistency)
outweigh the benefits of having a shorter entry in the table of
contents and PDF bookmarks.
(cherry picked from commit 9c748a04702a979786f39bb7fa367e3945b51ae3)
2019-02-15 12:19:29 -05:00
2019-02-15 12:19:29 -05:00
2018-02-20 20:12:22 +01:00
2017-12-14 18:49:11 +01:00
2019-02-15 12:19:29 -05:00
2017-05-15 02:48:07 +02:00
2017-10-23 09:23:31 +02:00
2017-12-15 02:52:07 +01:00
2019-02-15 12:19:29 -05:00
2019-02-15 12:19:29 -05:00
2019-02-15 12:19:29 -05:00
2019-02-15 12:19:29 -05:00
2019-02-15 12:19:29 -05:00
2019-02-15 12:19:29 -05:00
2017-12-15 02:52:07 +01:00
2019-02-15 12:19:29 -05:00
2019-02-15 12:19:29 -05:00
2019-02-15 12:19:29 -05:00
2019-02-15 12:19:29 -05:00
2017-12-15 02:52:07 +01:00
2017-12-15 02:52:07 +01:00
2017-12-15 02:52:07 +01:00
2017-12-15 02:52:07 +01:00
2017-12-15 02:52:07 +01:00
2019-02-15 12:19:29 -05:00
2017-12-15 02:52:07 +01:00
2017-12-15 02:52:07 +01:00
2019-02-15 12:19:29 -05:00
2019-02-15 12:19:29 -05:00
2017-12-15 02:52:07 +01:00
2018-02-12 11:30:18 +01:00
2018-01-29 01:34:31 +01:00
2016-07-05 02:27:36 +02:00
2018-01-10 02:24:29 +01:00
2017-12-07 00:28:57 +01:00
2017-11-27 02:47:53 +01:00
2018-01-12 04:52:53 +01:00
2018-09-20 13:01:48 +02:00
2017-12-15 02:52:07 +01:00
2017-07-29 11:33:24 +02:00
2017-11-19 02:25:29 +01:00
2017-11-19 02:25:29 +01:00
2010-09-18 18:03:55 +00:00
2018-01-29 15:09:41 +01:00
2017-11-19 02:25:29 +01:00
2019-02-15 12:19:29 -05:00
2018-12-29 11:48:02 -05:00
2018-10-03 23:27:25 +02:00
2018-02-20 20:12:22 +01:00
2017-12-15 02:30:32 +01:00
2017-11-19 02:25:29 +01:00
2017-11-19 02:25:29 +01:00
2013-01-12 19:44:08 +01:00
2017-11-19 02:25:29 +01:00
2018-11-29 18:02:49 -05:00
9aaa6c73d5