Bug 339003

Sometimes when I open kile, the content of my main tex file is strangely corrupted. I paste the content of a corrupted file below as example. Since I use versioning I have never lost a lot of data, but I have no idea what's going on, and if the problem comes from kile then I think it's a serious bug.

Example corrupted file content:
[Before this was a complete tex file which started with \documentclass{...}. There are some text fragments from the original file, but it's completely mixed up. The end of the corrupted file seems to be the beginning of the corresponding *.kilepr]

\theta{(a,b,c)} &=a\\edge b\\
\si\\rc l &=\\si\\irc\\e\\irc(\\ambda(l)\times_F\\d)\\
$\\(i,h,r,a)=h(a)$.
$\\\\rc(\\detilde{g}\times_I(K,\\i))=g$.
$\\detilde{g}(j)=(f_J(i),g(j,-),t\\p\\si(i))$. Then $\\idetilde{g}$ is realized
$\\mma\\rc\\ta=\\arphi\\edge\\si$. The claim follows since
$\\pha\\rc\\rphi=\\si$.
$\\pha_{i+1}=\\idetilde{\\lpha_i}$ and $\\lpha^*_{i+1}=\\lpha^*_i\\edge a_i$
$\\pha_{i+1}( a^*_{n-i-1})\\ a_{n-i}=
$\\rphi, i: E\to A$ by $\\rphi{(\\pha,a,b)}=a$
$a_1,\\ts,a_n\n A$ and $a^*=\top\\edge a_1\\edge\\ots\\edge a_n$.
$f:(A,\\)\to\nabla F$ by $f(a)=\\lpha(a\\edge-)$. A pullback of $f$
$f\\q g$ if there exists a $\\ta\n \\nb$ with $\\ta\\rc f=\sg$.
$f_1(\\pha,a,b)=f_2(\\lpha,a,b)=\\lpha$. Let $f_X:(X,x\to\nabla F$
$g:P\to(\\aa,\\)$ with $fp=gv$, and since ($\\st$) is a pushout, there
$h:(I,\\rphi)\to \nabla(P\\aa)$ by $h(i)=\setof{\\si(j)}{f(j)=i}$.
$p(U,a)=U$, and $\\i(U,a)=a$. Given $f:(J,\\si)\to(I,\\arphi)$, we define
$p:(E,\\)\to\nabla(P\\aa)$, where $E=\setof{(U,a)}{U ubs\\caa,a\\n U}$,
$t=t$ with respect to our reading of the equality symbol. We write
&=@\\irc\\edge\\irc\\anglexcirc\\ambda(l)\\irc h,\\arphi\\irc k\rangle
&\\ng etof{k:\\mma P\to I}{k\\rc\\mma f=k\\irc\\amma g}\\ong
(J, i)\times_I (K,\theta)=(J\times_I K,\\si\\edge_I\theta)
(\\rphi\\dge i)(i)=\\omp\\p\\arphi(i)\\p\\si(i).
1--4. The underlying set is given by $\\aa=\\amma D$, but how
DCO, and $\\pha\\rc\\nst_\top=\\onst_a$.
Defining $A=\\amma D$, the element $\\ota=\\ta_D\\n\\ifa(A)$ is a generic
For all $a\n A$ there exists an $\\pha\n\\na$ with $\\pha(\top)=a$.
For the second claim, set $\\pha_0=\\lpha$, $a^*_0=\top$; and
If $t[x_1,\dots,x_n]=\\onst_a$
K_i&=\setof{k\\n K}{f_K(k)=i}\\
L_i&=\setof{l\\n L}{f_L(l)=i}
Let $E=\setof{(\\lpha,a,b)}{\\lpha:A\\to A,f(a)=b}$, and let $F=(A\\to A)$ be
Since $\\mma=\\bs{\\dot}$ for shallow indexed preorders, the functor
Then $f$ together with the morphism $k:(J, i)\to(E,\\), \\(j)=(h(f(j)),
To show that 2 implies 3, assume that $\\pha(\top)=a$. The function
We define the universal function by $@=\\hi_e$. Now given $r\\n\\caa$,
X=\\(i\\n I,h:K_i\to L_i,r\\n\\caa)\\sep r\text{ realizes }
\\ad\\s{(I,\\rphi)}=I,\\uad\\bs{f}=f.
\\f\times \\g&=(A\times B,\\una\tensor \\unb)\\
\\mma\\j\nabla : \\tset\to\\ons\\fa,\\uad\nabla(I)=(I,\top)
\\mp \\ a \\ b \\fined\\uad \\mpz\\(\\mp \\ a\\ b)=\sa
\\na\tensor\\nb&=
\\pha(a^*_{n})$. With $e=\\lpha_n(\top)$ the
\\rall i\n I\\ot e\\\\rphi(i)=\\si(f(i)).
\\rphi\\dge i=\\elta_I^*(\theta) \\text{where} (I,\\arphi)\times(I,\\si)=(
\\ta\\rc\theta\rangle=\\edge\\irc\\angle\\arphi,
\\tx(X,\nabla I)&\\ng etof{h:P\to\nabla I}{h\\rc f=h\\irc g}\\
\\uad \\mpo\\(\\mp \\ a\\ b)=\sb
a PCA. Then $\\trt\\ad=\\xlex{\\asm\\cad}$ is exact by definition. Local
a terminal object $1=(1,\\\\d\\)$ and binary 2-products given by
an $\\pha\n\\na$ -- called a \\ph{realizer} of $f$ -- satisfying $\\pha\\rc\\rphi=\\si\\irc f$.
and $ i{(\\pha,a,b)}=b$, respectively. Let $f_1:(E,\\arphi)\to \nabla F$
and $\\rphi\\dge i=\\edge\\irc\\angle\\lpha,\\eta\rangle$.
and then the two are equal -- in symbols $s\\fined\\p s=t$. Finally,
by $t$ and satisfies $f_X\\rc g=\sf_J$ and
definition, in symbols $s\\fined\\e t\\fined\\p s=t$.
e\\\\rphi(i)=\\si(i)
exists an $h:X\to(\\aa,\\)$ with $hu=f$ and $he=g$.
ext{(i) }\\mk\\ a\\ b=a\\quad
f_X(i,h,r)&=i\\
for all $a,b\n A$ we have $\\mbda(a\\dge b)=a$ and $\rho(a\\edge b)=b$, and
h(a,b,c) &=a&\\
k(a,b,c) &=\s(f(a),b,c)&
represented as $\\rphi^*(\\_A)=\\d_A\\irc\\arphi$.
satisfying $gh=f$ and $fk=g$ where $g$ is the pullback of $t$ along $\\hi$.
such that $he=f$ and $\\arphi\\eq g^*(\\u)$.
topos $\\teff=\\atrt{(\\cakone)}$ over the first Kleene algebra.
where $ i\\dge_I\theta=\\i_1^*(\\si)\\edge\\i_2^*(\theta)$ and
with $he=g$ and $m^*(\\u)\\eq h^*(\\u)$. The span $(m,h)$ constitutes a
xi,h,r)&=r
{S}=\\(a,b,c)&\\sep \\lpha(a\\edge b)=c\\\\

[General]
def_graphic_ext=
img_extIsRegExp=false
img_extensions=.eps .jpg .jpeg .png .pdf .ps .fig .gif
kileprversion=2
kileversion=2.1.3
lastDocument=
masterDocument=
name=Project
pkg_extIsRegExp=false
pkg_extensions=.cls .sty .bbx .cbx .lbx
src_extIsRegExp=false
src_extensions=.tex .ltx .latex .dtx .ins

[Tools]
MakeIndex=
QuickBuild=


Reproducible: Sometimes