This file is indexed.

/usr/share/texmacs/TeXmacs/styles/seminar.ts is in texmacs-common 1:1.0.7.18-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
<TeXmacs|1.0.6.11>

<style|source>

<\body>
  <\active*>
    <\src-title>
      <src-style-file|seminar|1.0>

      <\src-purpose>
        The seminar style.
      </src-purpose>

      <\src-copyright|1998--2004>
        Joris van der Hoeven
      </src-copyright>

      <\src-license>
        This software falls under the <hlink|GNU general public
        license, version 3 or later|$TEXMACS_PATH/LICENSE>.
        It comes WITHOUT ANY WARRANTY WHATSOEVER.
        You should have received a copy of the license which the software.
        If not, see <hlink|http://www.gnu.org/licenses/gpl-3.0.html|http://www.gnu.org/licenses/gpl-3.0.html>.
      </src-license>
    </src-title>
  </active*>

  <use-package|std|env|title-seminar|header-seminar|section-seminar>

  \;

  <assign|magnification|2>

  <assign|par-first|0fn>

  <assign|page-odd|15mm>

  <assign|page-even|15mm>

  <assign|page-top|15mm>

  <assign|page-bot|20mm>

  <assign|page-reduce-left|0mm>

  <assign|page-reduce-right|0mm>

  <assign|page-reduce-top|0mm>

  <assign|page-reduce-bot|0mm>

  \;

  <assign|em|<macro|x|<with|color|blue|<arg|x>>>>

  \;
</body>

<\initial>
  <\collection>
    <associate|preamble|true>
  </collection>
</initial>