Add extra meta-files to gitignore

diff --git a/.gitignore b/.gitignore
index 2c4bbc94626d1e4915d21cbd204a65c50c03cfe2..e0ca27ed8449852db98b54852c30c3808968e83e 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -5,5 +5,7 @@
 *.log
 *.pdf
 *.bak
+*.ptb
+*.synctex.gz
 .latexmkrc
 cλash.tex

diff --git a/cλash.lhs b/cλash.lhs
index f7a763ee1923d1cbe5fd0d2775bc1e8d1a76dc50..f0eae8433aaf7e23cde09fda7df2bd3826eaf172 100644 (file)
--- a/cλash.lhs
+++ b/cλash.lhs
@@ -512,8 +512,8 @@ in this research. The functions describe the behavior of the hardware between
 clock cycles, as such, only synchronous systems can be described. Many 
 functional hardware description models signals as a stream of all values over 
 time; state is then modeled as a delay on this stream of values. The approach 
-taken in this research is to make the current state of the circuit part of the 
-input of the function and the updated state part of the output of a function.
+taken in this research is to make the current state of a circuit part of the 
+input of the function and the updated state part of the output.
 
 Like the standard hardware description languages, descriptions made in a 
 functional hardware description language must eventually be converted into a