Could you open the Git repository has LaTeX source of "VeriFast Tutorial"?

[Kiwamu Okabe]

Hi Bart,

Today, I found that "VeriFast Tutorial" is updated at February 15,
2017. It explains symbolic execution using some figures. So great.

https://people.cs.kuleuven.be/~bart.jacobs/verifast/tutorial.pdf

Then I would like to try updating the Japanese translation.

https://github.com/jverifast-ug/translate/blob/master/Manual/Tutorial/Tutorial.md

However finding changes between old/new PDF files is hard, because
getting difference on PDF files is difficult.

Could you open the Git repository has LaTeX source of "VeriFast
Tutorial" to find such changes?

Best regards,
--
Kiwamu Okabe at METASEPI DESIGN

[Kiwamu Okabe]

Hi all,

On Thu, Feb 23, 2017 at 1:17 PM, Kiwamu Okabe <kiw...@debian.or.jp> wrote:
> However finding changes between old/new PDF files is hard, because
> getting difference on PDF files is difficult.

I tried to get the difference using `pdftotext` command.

```
$ pdftotext tutorial_20141008.pdf
$ pdftotext tutorial_20170215.pdf
$ diff -u tutorial_20141008.txt tutorial_20170215.txt | wc -l
2776
```

It shows that the changes is not so big and focusing to first chapter.
Then I have following method to translate it into Japanese:

A. Translate some parts of the document with finding changes using `pdftotext`
B. Translate the changes using Git log (if you open the repository)

[Bart Jacobs]

Hi Kiwamu,

Good idea; see https://github.com/verifast/tutorial !

The recent changes are indeed just in the first chapter. Notice that I
wrote a few more lines at the end of that chapter since last week.

BTW: Everyone is very welcome to submit issues to signal errors or
suggest improvements! (Or even better: pull requests that fix the errors
and make the improvements :-) )

Many thanks for all of your efforts, Kiwamu!
Bart

[Kiwamu Okabe]

Hi Bart,

On Thu, Feb 23, 2017 at 7:43 PM, Bart Jacobs <bart....@cs.kuleuven.be> wrote:
> Good idea; see https://github.com/verifast/tutorial !

Thanks! It has own changes as Git log!

> The recent changes are indeed just in the first chapter. Notice that I wrote
> a few more lines at the end of that chapter since last week.

Thanks for your summary comment. It's useful to update Japanese translation.

Again, thanks a lot,