Hi,
Thanks a lot! I will update the template.
Unfortunately my experience with Vampire is extremely limited. I
would appreciate it if you can do the tests and let me know if
something else needs to be updated. Also suggestions about the
template are most welcome.
Best regards,
HeXu
--
You received this message because you are subscribed to the Google Groups "TB2J" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tb2j+uns...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tb2j/eb0a8ae5-d177-4dd0-a47e-748e9cb8a5d5n%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.